From 5533fc886947f6318bc302873cbe6a022b255a61 Mon Sep 17 00:00:00 2001 From: Jan Vales Date: Mon, 8 Jul 2013 19:25:58 +0200 Subject: [PATCH] removed old Makefile --- Makefile | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100755 Makefile diff --git a/Makefile b/Makefile deleted file mode 100755 index c1e30d0..0000000 --- a/Makefile +++ /dev/null @@ -1,18 +0,0 @@ -FN=basics - -all : $(FN).pdf - -$(FN).pdf : $(FN).dvi - dvipdf $(FN).dvi - -$(FN).dvi : $(FN).tex - latex -interaction=nonstopmode $(FN).tex - -cleanup: - rm -f *.aux *.log *.dvi - rm -f *~ - -clean : cleanup - rm -f *.pdf - - -- 2.43.0