First successful PNG output

2025-06-05 22:09:39 +02:00 · 2023-03-20 21:02:10 +00:00
parent 21ad211e03
commit c20411eb14
3 changed files with 39 additions and 56 deletions
--- a/2
+++ b/2
@@ -39,7 +39,7 @@ all : $(TARGETS)
 clean ::
 	rm -rf doc foo foo2 out.pdf out2.pdf foo.pdf decomp.pdf *.cmt *.cmti \
 	*.json test/*.pdf debug/*.pdf *.ps *.aux *.idx *.log *.out *.toc *.cut \
-	*.ttf *.ttx
+	*.ttf *.ttx out.png

 DOC_FILES = $(foreach x,$(DOC),$(x).mli)