diff --git a/Makefile.am b/Makefile.am index fd0bd99f945545787de5b16a6cff7c40f5482180..41968d23fa715316b533b4b9550d1bd69c9f3b87 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1220,12 +1220,11 @@ man/%.7.in man/%.8.in man/%.1.in: man/%.gen $(CHECK_MAN_DASHES) $@; \ trap - EXIT - man/%.html.in: man/%.gen @test -n "$(PANDOC)" || \ { echo 'pandoc' not found during configure; exit 1; } set -o pipefail ; \ - $(PANDOC) -s -f rst -t html $< man/footer.rst | \ + $(PANDOC) --toc -s -f rst -t html $< man/footer.rst | \ sed -e 's/\\@/@/g' > $@ man/%: man/%.in $(REPLACE_VARS_SED)