Adding the pdf usermanual

This is automatically generatable from usermanual.texi, but to do so requires tex, so adding to repository to simplify development.
jrincayc · Dec 26, 2019 · 023b9d9 · 023b9d9
1 parent a21997f
commit 023b9d9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -14,7 +14,6 @@ docs/usermanual.cp
 docs/usermanual.cps
 docs/usermanual.dvi
 docs/usermanual.log
-docs/usermanual.pdf
 docs/usermanual.ps
 docs/usermanual.toc
 helpfiles/HELPCONTENTS
diff --git a/docs/usermanual.pdf b/docs/usermanual.pdf