docs: generate config/properties.rst from fess_config.properties

.github/workflows/lint.yml

@@ -34,6 +34,12 @@ jobs:
       - name: Every eol.rst matches versions.json
         run: python tools/update_eol.py --check
 
+      # fess_config.properties is not vendored here, so this cannot compare a page
+      # against fess. It checks the seven pages against each other and against their
+      # translation catalogues, which is what catches a page edited by hand.
+      - name: Every properties.rst agrees with its catalogue
+        run: python tools/gen_properties_doc.py --check
+
   headings:
     name: section titles
     runs-on: ubuntu-latest

conf/conf.py

@@ -100,7 +100,9 @@
 
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
-exclude_patterns = ['_build']
+# The .po files beside a generated properties.rst are translation catalogues, not
+# documents; Sphinx must not try to read them as source.
+exclude_patterns = ['_build', '**/*.po']
 
 # The reST default role (used for this markup: `text`) to use for all
 # documents.

de/15.9/config/index.rst

@@ -8,6 +8,7 @@ Ein umfassender Leitfaden zur Konfiguration von |Fess|. Jeder Abschnitt ist nach
    :caption: Erste Schritte
 
    intro
+   properties
 
 .. toctree::
    :maxdepth: 2