[modules] header node in module xml is optional

paparazzi · Jun 17, 2016 · 19a0ad3 · 19a0ad3
1 parent cd5f719
commit 19a0ad3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/conf/modules/module.dtd b/conf/modules/module.dtd
@@ -1,6 +1,6 @@
 <!-- Paparazzi Modules DTD -->
 
-<!ELEMENT module (doc,settings_file*,settings*,depends?,conflicts?,autoload*,header,init*,periodic*,event*,datalink*,makefile*)>
+<!ELEMENT module (doc,settings_file*,settings*,depends?,conflicts?,autoload*,header?,init*,periodic*,event*,datalink*,makefile*)>
 <!ELEMENT doc (description,(define|configure|section)*)>
 <!ELEMENT settings_file (file*)>
 <!ELEMENT settings (dl_settings?)>