add man page generation to build

.github/workflows/website.yml

@@ -61,4 +61,11 @@ jobs:
           file: docs/_build/reference_manual.json
           tag: ${{ github.ref }}
         if: ${{ github.event_name == 'release' }}
+      - name: Release the current man docs
+        uses: svenstaro/upload-release-action@v2
+        with:
+          repo_token: ${{ secrets.GITHUB_TOKEN }}
+          file: docs/_build/meson-reference.3
+          tag: ${{ github.ref }}
+        if: ${{ github.event_name == 'release' }}
 

docs/meson.build

@@ -63,6 +63,22 @@ refman_json = custom_target(
     ],
 )
 
+refman_man = custom_target(
+    'gen_refman_man',
+    build_by_default: true,
+    input: refman_binary,
+    output: 'meson-reference.3',
+    command: [
+        genrefman,
+        '-l', 'pickle',
+        '-g', 'man',
+        '-i', '@INPUT@',
+        '-o', '@OUTPUT@',
+        '--force-color',
+        '--no-modules',
+    ],
+)
+
 test('validate_docs', find_program('./jsonvalidator.py'), args: [refman_json])
 
 hotdoc_prog = find_program('hotdoc', version: '>=0.13.7')