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

diff --git a/interpreters/nitfol/.svnignore b/interpreters/nitfol/.svnignore
index 3045c51..9c2b59c 100644
--- a/interpreters/nitfol/.svnignore
+++ b/interpreters/nitfol/.svnignore
@@ -2,3 +2,4 @@
 .libs
 Makefile.in
 Makefile
+texinfo.tex