diff --color -Naur dbus-1.12.20-original/doc/Makefile.in dbus-1.12.20-hacked2/doc/Makefile.in --- dbus-1.12.20-original/doc/Makefile.in 2020-07-02 12:10:41.000000000 +0200 +++ dbus-1.12.20-hacked2/doc/Makefile.in 2020-11-07 09:57:15.297694773 +0100 @@ -870,8 +870,10 @@ .PRECIOUS: Makefile +# 'generate.consistent.ids=1' ensures reproducible docs, for further details see +# http://docbook.sourceforge.net/release/xsl/current/doc/html/generate.consistent.ids.html @DBUS_XML_DOCS_ENABLED_TRUE@%.html: %.xml -@DBUS_XML_DOCS_ENABLED_TRUE@ $(XMLTO) html-nochunks $< +@DBUS_XML_DOCS_ENABLED_TRUE@ $(XMLTO) --stringparam generate.consistent.ids=1 html-nochunks $< @DBUS_XML_DOCS_ENABLED_TRUE@%.1: %.1.xml @DBUS_XML_DOCS_ENABLED_TRUE@ $(XMLTO) man $<