| commit | a4aa66a858f1ecd375c5efe5916398281f73f794 | [log] [tgz] |
|---|---|---|
| author | Jan Tojnar <jtojnar@gmail.com> | Wed Nov 20 02:13:58 2019 +0000 |
| committer | Jan Tojnar <jtojnar@gmail.com> | Wed Nov 20 02:13:58 2019 +0000 |
| tree | 08d5808da8ffa5fe51889b11dc3e2fd657caf75f | |
| parent | 23ab038281fe59476a85bee02ad0ceb419095bdb [diff] |
Correct reset-dirs in DTD Empty elements need to be declared as such in well-formed DTDs.
diff --git a/fonts.dtd b/fonts.dtd index f8c9f2c..40ecb4e 100644 --- a/fonts.dtd +++ b/fonts.dtd
@@ -124,7 +124,7 @@ <!-- Reset the list of fonts directories --> -<!ELEMENT reset-dirs > +<!ELEMENT reset-dirs EMPTY> <!-- Periodically rescan the font configuration and