update_aivdm_doc:
	-rm AIVDM.txt
	wget http://gpsd.berlios.de/AIVDM.txt