X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=interpreters%2Fnitfol%2F.svnignore;h=a88cd385837264fed105d15840d1b0b12aebd42e;hb=db3154e89d7f299cb58265d5359a811394dc03fc;hp=9c2b59c44b4db1eaa11d5560b03498a25568d30e;hpb=b3548bdd49a58692f6648b04248056d10a3d5a23;p=rodin%2Fchimara.git

diff --git a/interpreters/nitfol/.svnignore b/interpreters/nitfol/.svnignore
index 9c2b59c..a88cd38 100644
--- a/interpreters/nitfol/.svnignore
+++ b/interpreters/nitfol/.svnignore
@@ -2,4 +2,11 @@
 .libs
 Makefile.in
 Makefile
+copying.c
+dbg_help.h
+dbg_help.texi
+options.texi
+startunix.c
+inform.c
 texinfo.tex
+