diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | doc/user/.gitignore | 4 |
2 files changed, 5 insertions, 0 deletions
@@ -17,4 +17,5 @@ stamp-h[0-9] stamp-po doc/user/doc-config.scm src/skribilo +src/pre-inst-skribilo src/guile/skribilo/config.scm diff --git a/doc/user/.gitignore b/doc/user/.gitignore new file mode 100644 index 0000000..3957017 --- /dev/null +++ b/doc/user/.gitignore @@ -0,0 +1,4 @@ +user.html +user-*.html +*.png +*.eps |