Updated from git.drogon.net

2016-02-27 16:03:10 +00:00
parent ddf1b3ffaa
commit 26c7fe3332
151 changed files with 17346 additions and 1343 deletions
--- a/pins/Makefile
+++ b/pins/Makefile
@@ -0,0 +1,22 @@
+
+SRC	=	pins.tex
+
+ifneq ($V,1)
+Q ?= @
+endif
+
+
+all:		${SRC}
+	$Q echo	Generating DVI
+	$Q latex  pins.tex
+
+pins.dvi:	pins.tex
+	$Q latex  pins.tex
+
+pdf:	pins.dvi
+	$Q dvipdf pins.dvi
+
+
+.PHONY:	clean
+clean:
+	$Q rm -f *.dvi *.aux *.log *.ps *.toc *.bak *~