From 8dcaade55867f0459122431872289758fa1116bb Mon Sep 17 00:00:00 2001
From: Peter Carbonetto
Date: Wed, 24 May 2017 22:13:22 -0500
Subject: Added doc/Makefile.

---
 doc/Makefile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 doc/Makefile

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000..9638a4f
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,19 @@
+# A Makefile for generating the PDF from Latex. Simply type 'make' in
+# this directory to compile the Latex into a single PDF. Type 'make
+# clean' to discard the output files except for the generated PDF.
+
+# RULES
+# -----
+all: manual.pdf
+
+# Create the PDF file.
+manual.pdf : manual.tex manual.bib
+	pdflatex manual
+	bibtex manual
+	pdflatex manual
+	pdflatex manual
+
+clean:
+	rm -f manual.aux manual.bbl manual.blg
+	rm -f manual.log manual.out manual.toc
+
-- 
cgit 1.4.1