--- docs/Makefile.orig 2024-05-23 11:03:19 UTC +++ docs/Makefile @@ -49,7 +49,7 @@ html-dir: $(PKG).texi %.pdf: %.texi @printf "Generating $@\n" - @texi2pdf --clean $< > /dev/null + @texi2pdf $< > /dev/null PUBLISH_PATH ?= /manual/ RELEASE_PATH ?= /manual/$(VERSION)/