chiark / gitweb /
Add new source files, and remove options inappropriate for subsidiary
[become] / manual /
drwxr-xr-x   ..
-rw-r--r-- 1421 Makefile.am
-rw-r--r-- 34625 become.tex
-rw-r--r-- 19467 syntax.sty