diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-06-09 17:53:55 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-06-09 17:53:55 -0400 |
commit | e28ce28b48c253b6275bae2b45a59247a291c609 (patch) | |
tree | 1d14158785a79e011b5bcd97f441587390422d26 /Makefile | |
parent | f239b656cd689f9202b829f9c222244f4af02289 (diff) |
Build documentation with deterministic=1 for reproducible builds. (A new ikiwiki feature.) Closes: #785736
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -75,8 +75,8 @@ man: docs: mans TZ=UTC $(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \ --no-usedirs --disable-plugin=openid --plugin=sidebar \ - --underlaydir=/dev/null --disable-plugin=shortcut \ - --disable-plugin=smiley \ + --underlaydir=/dev/null --set deterministic=1 \ + --disable-plugin=shortcut --disable-plugin=smiley \ --plugin=comments --set comments_pagespec="*" \ --exclude='news/.*' --exclude='design/assistant/blog/*' \ --exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \ |