chiark / gitweb /
strayman.dtx: Move left-side headers and footers into the margin.
-rw-r--r-- 213 .cvsignore
-rw-r--r-- 299 .gitignore
-rw-r--r-- 29 .links
-rw-r--r-- 219 .skelrc
-rw-r--r-- 2318 Makefile.m4
-rw-r--r-- 1229 configure.in
drwxr-xr-x - debian
-rw-r--r-- 79833 strayman.dtx
-rw-r--r-- 1782 strayman.ins