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