From d5049ff09f0a5521db4883b5f330d2477a6e0fa7 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Tue, 21 Sep 2010 22:14:13 +0000 Subject: [PATCH] added some stuff to gitignore file --- .gitignore | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.gitignore b/.gitignore index f58fe7b49a..40e9141113 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,8 @@ *.depend +*.aux + /var /dox @@ -22,6 +24,9 @@ /conf/control_panel.xml /conf/%gconf.xml +# /doc/pprz_algebra/ +/doc/pprz_algebra/headfile.log +/doc/pprz_algebra/headfile.toc # /sw/ground_segment/cockpit/ /sw/ground_segment/cockpit/gtk_save_settings.ml @@ -54,6 +59,7 @@ /sw/lib/ocaml/gtk_papget_editor.ml /sw/lib/ocaml/gtk_papget_text_editor.ml /sw/lib/ocaml/gtk_papget_gauge_editor.ml +/sw/lib/ocaml/expr_lexer.ml /sw/lib/ocaml/expr_parser.ml /sw/lib/ocaml/expr_parser.mli /sw/lib/ocaml/gtk_papget_led_editor.ml