Use human-readable file names in the docs (bug #16278)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 2bc1f5e8ad0bc8d52bd7ded6cbf9712ae16ff64a..d6f0d7b712f123224e216538eda32b0997828c28 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -146,7 +146,7 @@ clean-local:
 
 $(HTML_DIR): local-fontconfig-devel.sgml $(DOC_FUNCS_SGML) version.sgml confdir.sgml
        $(RM) -r $(HTML_DIR)
-       $(DOC2HTML) -o $(HTML_DIR) local-fontconfig-devel.sgml
+       $(DOC2HTML) -V '%use-id-as-filename%' -o $(HTML_DIR) local-fontconfig-devel.sgml
 
 fontconfig-devel.txt: local-fontconfig-devel.sgml $(DOC_FUNCS_SGML) version.sgml confdir.sgml
        $(RM) $@