From c65abebd3bb50d049a4b2864db49216f14ee0012 Mon Sep 17 00:00:00 2001
From: Richard Zach <rzach@ucalgary.ca>
Date: Sun, 3 May 2015 18:40:00 -0400
Subject: [PATCH] update Makefile with warning

---
 Makefile             | 19 +++++++++++++++----
 open-logic-about.tex | 18 +++++++++++-------
 2 files changed, 26 insertions(+), 11 deletions(-)

diff --git a/Makefile b/Makefile
index 41db3e07..7469cd3f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,15 @@
-.PHONY : FORCE_MAKE
+# Open Logic Project
+# Makefile
+
+# YOU DO NOT HAVE TO USE THIS MAKEFILE
+# Just run pdflatex on whichever tex file you want to compile
+# The job of this makefile is to compile *everything*
+ 
+# Requires latexmk https://www.ctan.org/pkg/latexmk/
+# The PDF of the open-logic-config documentation also requires
+# pandoc http://pandoc.org/
 
-ALLDIRS = first-order-logic computability sets-functions-relations 
+.PHONY : FORCE_MAKE
 
 ALLTEXFILES = open-logic-debug.tex open-logic-complete.tex \
 	examples/*.tex \
@@ -8,7 +17,9 @@ ALLTEXFILES = open-logic-debug.tex open-logic-complete.tex \
 
 ALLPDFFILES = $(ALLTEXFILES:.tex=.pdf)
 
-all: $(ALLPDFFILES) open-logic-config.pdf
+all: open-logic-debug.pdf open-logic-complete.pdf
+
+everything: $(ALLPDFFILES) open-logic-config.pdf
 
 open-logic-config.pdf: open-logic-config.sty
 	grep -e "^%" -e "^$$" open-logic-config.sty | cut --bytes=3-|pandoc -f markdown -M date="`git log --format=format:"%ad %h" --date=short -1 open-logic-config.sty`" -o open-logic-config.pdf
@@ -19,6 +30,6 @@ open-logic-config.pdf: open-logic-config.sty
 clean:	
 	latexmk -c $(ALLTEXFILES)
 
-upload: all FORCE_MAKE
+upload: everything FORCE_MAKE
 	rsync -avz --delete --include "[^\.]*/" --include '*.pdf' --exclude '*'  . rzach@c1.ucalgary.ca:webdisk/public_html/static/open-logic/
 
diff --git a/open-logic-about.tex b/open-logic-about.tex
index 512c77d4..31a68ea9 100644
--- a/open-logic-about.tex
+++ b/open-logic-about.tex
@@ -1,18 +1,22 @@
 \chapter*{About the Open Logic Project}
 
 The \textit{Open Logic Text} is an open-source, collaborative textbook
-of formal meta-logic formal methods, starting at an intermediate level
+of formal meta-logic and formal methods, starting at an intermediate level
 (i.e., after an introductory formal logic course). It is aimed at a
 non-mathematical audience (in particular, students of philosophy and
 computer science), but is completely rigorous.
 
 The \textit{Open Logic Text} is a collaborative project, and is under
-active development.  Coverage of topics currently included is not
-complete, and we plan to expand it to cover additional topics in the
-future. We also plan to add features to the text, such as a glossary,
-further reading, historical notes, pictures, and more problems and
-examples.  If you find an error or have a suggestion, please let the
-project team know.
+active development.  Coverage of some topics currently included may
+not yet be complete, and many sections still require substantial
+revisions. We plan to expand the text to cover additional topics in
+the future. We also plan to add features to the text, such as a
+glossary, further reading, historical notes, pictures, better
+explanations, sections explaining the relevance of results to
+philosophy, computer science, and mathematics, and more problems and
+examples.  If you find an error or have a suggestion,
+\href{https://github.com/OpenLogicProject/OpenLogic/wiki/Contributing}{please
+  let the project team know}.
 
 The project operates in the spirit of open source. Not only is the
 texts available for free, we provide it in source LaTeX format under a