From 240172c01c2e5dff44cc9c243a6a12f47db82581 Mon Sep 17 00:00:00 2001 From: Marco van Wieringen Date: Mon, 9 Sep 2013 18:58:45 +0200 Subject: [PATCH] Add missing Makefile. --- manuals/en/main/Makefile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 manuals/en/main/Makefile diff --git a/manuals/en/main/Makefile b/manuals/en/main/Makefile new file mode 100644 index 0000000..bf9d624 --- /dev/null +++ b/manuals/en/main/Makefile @@ -0,0 +1,15 @@ +LATEX=latex +DVI2PDF=dvipdf +LATEX2HTML=latex2html + +all: main.pdf + +main.dvi: *.sty *.tex + $(LATEX) main.tex + $(LATEX) main.tex + +main.pdf: main.dvi + $(DVI2PDF) main.dvi main.pdf + +clean: + rm -f *.aux *.cdx *.ddx *.dvi *.fdx *.idx *.log *.out *.pdf *.sdx *.toc