.gitignore: Delete now that we don't need this thing any more.
[catacomb] / doc /
drwxr-xr-x   ..
-rw-r--r-- 7463 INSTALL
-rw-r--r-- 3411 texinice.tex