update Makefile with warning

Makefile

@@ -1,14 +1,25 @@
-.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 \
 	$(shell grep 'INPUT [^/].*/.*\.tex' open-logic-debug.fls | uniq | sed 's/INPUT //g' )
 
 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 '*'  . [email protected]:webdisk/public_html/static/open-logic/
 

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