[paparazzi-commits] [5912] added some stuff to gitignore file

[Felix Ruess]

Revision: 5912
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=5912
Author:   flixr
Date:     2010-09-21 22:14:13 +0000 (Tue, 21 Sep 2010)
Log Message:
-----------
added some stuff to gitignore file

Modified Paths:
--------------
    paparazzi3/trunk/.gitignore

Modified: paparazzi3/trunk/.gitignore
===================================================================
--- paparazzi3/trunk/.gitignore 2010-09-21 17:11:50 UTC (rev 5911)
+++ paparazzi3/trunk/.gitignore 2010-09-21 22:14:13 UTC (rev 5912)
@@ -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