X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=.gitignore;h=a38579840234fee095c8d3388194d81dad17c6c8;hb=087ea609510e7c85e1048219f4aa96348d1eaeda;hp=68cd58c043a33a07ddd0099d6a561f2ebc063bdf;hpb=8fbc663ca72ef0c0a73cfb0f41d363e0c89a510e;p=goaljobs.git diff --git a/.gitignore b/.gitignore index 68cd58c..a385798 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,7 @@ *.cmxa *.o *.a +*.1 Makefile.in Makefile @@ -31,3 +32,4 @@ Makefile /META /missing /stamp-h1 +/stamp-ocamldoc