From 7187be8b76452aa968726180af24deaaa545431d Mon Sep 17 00:00:00 2001 From: Thijs Schreijer Date: Wed, 23 Mar 2022 16:01:50 +0100 Subject: cleanup; delete the ./gem folder --- gem/makefile | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 gem/makefile (limited to 'gem/makefile') diff --git a/gem/makefile b/gem/makefile deleted file mode 100644 index a4287c2..0000000 --- a/gem/makefile +++ /dev/null @@ -1,14 +0,0 @@ -ltn012.pdf: ltn012.ps - ./myps2pdf ltn012.ps - -ltn012.ps: ltn012.dvi - dvips -G0 -t letter -o ltn012.ps ltn012.dvi - -ltn012.dvi: ltn012.tex - latex ltn012 - -clean: - rm -f *~ *.log *.aux *.bbl *.blg ltn012.pdf ltn012.ps ltn012.dvi ltn012.lof ltn012.toc ltn012.lot - -pdf: ltn012.pdf - open ltn012.pdf -- cgit v1.2.3-55-g6feb