From 48af10d1a28cdbb24a74bfacb0a8954ab8b2ee48 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 20 Aug 2011 17:04:43 -0500
Subject: [PATCH 1/2] Added a GNU Makefile for building the PDF

---
 Makefile | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000000..04549a1e26
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,35 @@
+### -*- mode: makefile-gmake -*-
+
+# Note: If building on Mac OS X, and if you use MacPorts, the following ports
+# should be installed:
+#
+#   texlive-latex
+#   texlive-plain-extra
+#   texlive-latex-recommended
+#   texlive-latex-extra
+#   texlive-fonts-recommended
+#   texlive-fonts-extra
+
+FIGURES = $(patsubst %.dot,%.pdf,$(wildcard source/*.dot))
+
+all: $(FIGURES) grammar xrefs document
+	echo Draft standard compiled
+
+%.pdf: %.dot
+	dot -o $@ -Tpdf $<
+
+grammar:
+	(cd source ; sh ../tools/makegram)
+
+xrefs:
+	(cd source ; sh ../tools/makexref)
+
+document:
+	(cd source ; pdflatex std; pdflatex std; pdflatex std)
+	(cd source ; makeindex generalindex)
+	(cd source ; makeindex libraryindex)
+	(cd source ; makeindex grammarindex)
+	(cd source ; makeindex impldefindex)
+	(cd source ; pdflatex std; pdflatex std)
+
+### Makefile ends here

From deb8d81bd7155a09ecd1de6ba57596c715e07ac6 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 20 Aug 2011 17:04:51 -0500
Subject: [PATCH 2/2] Added entries to the .gitignore file

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 2f8fc1719f..d92405907a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,6 @@ std.pdf
 *.lof
 *.lot
 *.out
+*.ilg
+*.ind
+*.tmp