X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=.gitignore;fp=.gitignore;h=42a7a0b5dbcab8736b9fcdf403ddba41db75fa18;hb=a9db63637ecbc5a5a84ae62de74d0bcbd285343a;hp=68cd58c043a33a07ddd0099d6a561f2ebc063bdf;hpb=97134efe68268cc3b0df76600012ee7847ec0e3a;p=goaljobs.git

diff --git a/.gitignore b/.gitignore
index 68cd58c..42a7a0b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,4 @@ Makefile
 /META
 /missing
 /stamp-h1
+/stamp-ocamldoc