diff options
author | jkoan <jkoan@users.noreply.github.com> | 2018-05-24 07:28:17 +0200 |
---|---|---|
committer | jandegr <jandegr@users.noreply.github.com> | 2018-05-24 07:28:17 +0200 |
commit | 01f62133c96e24b8b7df516007d7ef62af3a5759 (patch) | |
tree | 0e9c85c91c081801ff6851d3d1e4dc3eb6a13ed7 | |
parent | 33f553c27652b01b13dbf2208e900a9f93df3545 (diff) | |
download | navit-01f62133c96e24b8b7df516007d7ef62af3a5759.tar.gz |
fix:config:Fix dtd to allow real xmlint (#583)
xmllint --noout --dtdvalid navit/navit.dtd navit/navit_shipped.xml
-rw-r--r-- | navit/navit.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/navit/navit.dtd b/navit/navit.dtd index c17602725..aa25a1f4c 100644 --- a/navit/navit.dtd +++ b/navit/navit.dtd @@ -17,7 +17,7 @@ <!ATTLIST log flush_size CDATA #IMPLIED> <!ATTLIST log flush_time CDATA #IMPLIED> <!ATTLIST log attr_types CDATA #IMPLIED> -<!ELEMENT navit (graphics,gui+,log*,osd*,vehicle*,tracking,vehicleprofile*,route,navigation,speech,mapset+,layout+)*> +<!ELEMENT navit (graphics,gui+,log*,osd*,vehicle*,tracking?,vehicleprofile*,route,navigation,speech,mapset+,layer+,layout+) > <!ATTLIST navit center CDATA #REQUIRED> <!ATTLIST navit zoom CDATA #REQUIRED> <!ATTLIST navit tracking CDATA #REQUIRED> |