Add PDF export plugin for docs

Experiment to see if build if PDF export of docs could be viable.

Author: aedart

docs/.vuepress/styles/index.scss

@@ -238,3 +238,28 @@ html.dark .DocSearch {
   --docsearch-footer-shadow: inset 0 1px 0 0 rgba(73, 76, 106, 0.5),
   0 -4px 8px 0 rgba(0, 0, 0, 0.2);
 }
+
+// ----------------------------------------------------------------------------------------------- //
+// Print / PDF
+// ----------------------------------------------------------------------------------------------- //
+
+@media print {
+    .navbar,
+    .sidebar,
+    .sidebar-mask,
+    .page-edit,
+    .page-nav,
+    .page-meta {
+        display: none;
+    }
+
+    .theme-default-content {
+        max-width: 98%;
+        margin-left: 0.5em;
+        margin-right: 0.5em;
+    }
+
+    .page {
+        padding-left: 0;
+    }
+}

docs/.vuepress/vuepress-pdf.config.ts

@@ -0,0 +1,36 @@
+import { defineUserConfig } from "@condorhero/vuepress-plugin-export-pdf-v2";
+
+/**
+ * Export PDF configuration
+ *
+ * @see https://www.npmjs.com/package/@condorhero/vuepress-plugin-export-pdf-v2
+ */
+export default defineUserConfig({
+    //theme: "@vuepress/theme-default",
+
+    /**
+     * WARNING: Adapt these settings such that only desired version(s)
+     * are exported...
+     */
+    routePatterns: [
+        '/archive/v1x/**',
+
+        '!/archive/v2x/**',
+        '!/archive/v3x/**',
+        '!/archive/v4x/**',
+        '!/archive/v5x/**',
+        '!/archive/v6x/**',
+        '!/archive/v7x/**',
+        '!/archive/current/**',
+        '!/archive/next/**',
+    ],
+    outDir: 'docs/.vuepress/public/pdf',
+    pdfOptions: {
+        displayHeaderFooter: true,
+
+        // @see https://github.com/puppeteer/puppeteer/blob/main/docs/api/puppeteer.pdfoptions.md
+        footerTemplate: '<div class="page-nav"><p class="inner"><span class="pageNumber"></span> / <span class="totalPages"></span> </p></div>',
+        scale: 0.8
+    },
+    pdfOutlines: true,
+});

package.json

@@ -15,6 +15,7 @@
     "scripts": {
         "docs:dev": "cross-env NODE_ENV=development vuepress dev docs --config docs/.vuepress/config.ts",
         "docs:build": "cross-env NODE_ENV=development vuepress build docs --config docs/.vuepress/config.ts",
-        "docs:build-prod": "cross-env NODE_ENV=production vuepress build docs --config docs/.vuepress/config.ts"
+        "docs:build-prod": "cross-env NODE_ENV=production vuepress build docs --config docs/.vuepress/config.ts",
+        "docs:export-pdf": "press-export-pdf export --config docs/.vuepress/vuepress-pdf.config.ts"
     }
 }