first commit

2023-08-11 15:53:17 +08:00
commit 2fe3003e20
213 changed files with 37226 additions and 0 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 *~