diff --git a/doc/Makefile.am b/doc/Makefile.am
index 1f22d8937..70f10c34f 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -2,6 +2,10 @@
 
 SUBDIRS = . doxygen
 
+AM_MAKEINFOHTMLFLAGS = $(TEXINFO_HTMLFLAGS)
+
+infoimagedir = $(infodir)/images
+
 man_MANS = \
   prebuilt/man/taler.conf.5            \
   prebuilt/man/taler-config.1            \
@@ -11,6 +15,7 @@ man_MANS = \
   prebuilt/man/taler-auditor-httpd.1       \
   prebuilt/man/taler-auditor-offline.1    \
   prebuilt/man/taler-auditor-sign.1       \
+  prebuilt/man/taler-auditor-sync.1       \
   prebuilt/man/taler-bank-transfer.1   \
   prebuilt/man/taler-exchange-aggregator.1 \
   prebuilt/man/taler-exchange-benchmark.1  \
diff --git a/doc/prebuilt b/doc/prebuilt
index 979a25309..74d9c44eb 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 979a25309ea31a472868df139bb49df81dc4203d
+Subproject commit 74d9c44ebc257a3d8b9c2c0a806508bd0cc5269a