--- docs/Makefile.orig 2022-03-07 17:47:08 UTC +++ docs/Makefile @@ -50,7 +50,7 @@ html-dir: $(PKG).texi %.pdf: %.texi @printf "Generating $@\n" - @texi2pdf --clean $< > /dev/null + @texi2pdf $< > /dev/null PUBLISH_PATH ?= /manual/ RELEASE_PATH ?= /manual/$(VERSION)/