Commit 07e25011 authored by Leon Gondelman's avatar Leon Gondelman

gitignore file

parent 4ef1a473
...@@ -86,6 +86,7 @@ why3.conf ...@@ -86,6 +86,7 @@ why3.conf
/bin/why3wc.opt /bin/why3wc.opt
/bin/why3wc.byte /bin/why3wc.byte
/bin/why3wc /bin/why3wc
/bin/style.css
# /doc/ # /doc/
/doc/version.tex /doc/version.tex
...@@ -109,6 +110,7 @@ why3.conf ...@@ -109,6 +110,7 @@ why3.conf
/doc/manual.ist /doc/manual.ist
/doc/manual.out /doc/manual.out
/doc/manual.image.out /doc/manual.image.out
/doc/manual.synctex.gz
/doc/*.haux /doc/*.haux
/doc/*.pdf /doc/*.pdf
/doc/html/ /doc/html/
...@@ -120,6 +122,8 @@ why3.conf ...@@ -120,6 +122,8 @@ why3.conf
/doc/apidoc.tex /doc/apidoc.tex
/doc/apidoc/ /doc/apidoc/
/doc/stdlibdoc/ /doc/stdlibdoc/
/doc/texput.log
/doc/q.log
# /lib # /lib
/lib/why3cpulimit /lib/why3cpulimit
...@@ -129,6 +133,7 @@ why3.conf ...@@ -129,6 +133,7 @@ why3.conf
# /lib/why3/ # /lib/why3/
/lib/why3/META /lib/why3/META
/lib/why3-cpulimit
# /lib/ocaml/ # /lib/ocaml/
/lib/ocaml/why3__BigInt_compat.ml /lib/ocaml/why3__BigInt_compat.ml
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment