updated .gitignore for maps.xml, deleted maps.xml, fixed typo in data…

…/maps/Makefile
paparazzi · Aug 2, 2011 · 8e87814 · 8e87814
1 parent 003161c
commit 8e87814
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -47,6 +47,7 @@
 /conf/%gconf.xml
 /conf/srtm_data/*
 /conf/maps_data/*
+/conf/maps.xml
 /conf/gps/ublox_conf
 
 # /doc/pprz_algebra/

diff --git a/data/maps/Makefile b/data/maps/Makefile
@@ -14,4 +14,4 @@ $(PAPARAZZI_HOME)/conf/maps.xml: $(DATADIR)/maps.google.com
 	$(Q)echo "<maps google_version=\""`grep -P "http://khm[0-9]+.google.com/kh/v=[0-9]+.x26" $(DATADIR)/maps.google.com | sed -E s#.*http://khm[0-9]+.google.com/kh/v=## | sed -E s#.x26.*##`"\"/>" >> $(@)
 	$(Q)echo "" >> $(@)
 
-Force:
+FORCE: