chiark / gitweb /
--- /dev/null
+COPYING
+Makefile.in
+Makefile.am
+Makefile
+autom4te.cache
+configure
+aclocal.m4
+build
+config.log
+config.status
+install-sh
+missing
+gpl.tex
+*.dvi
+*.log
+*.tfm
+*.vpl
+*.fd
+*.toc
+*.map
+*.vf
+*.sty
+*.etx
+p*.mtx
+c*.mtx
+p*.pl
+*.aux
+*.idx
+*.ilg
+*.ind