+vokoenh.dtd

Author: wdiestel

.github/workflows/push-revo-update.yml

@@ -30,10 +30,11 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install rxp curl
-      - name: Akiru vokosgn.dtd
+      - name: Akiru vokosgn.dtd, vokoenh.dtd
         run: |
           mkdir dtd
           curl -O --output-dir dtd https://raw.githubusercontent.com/revuloj/voko-grundo/refs/heads/master/dtd/vokosgn.dtd
+          curl -O --output-dir dtd https://raw.githubusercontent.com/revuloj/voko-grundo/refs/heads/master/dtd/vokoenh.dtd
       - name: Kurigu test-skripton
         run: |
           ./tst/xml-test.sh

tst/xml-test.sh

@@ -5,7 +5,7 @@
 set -e
 
 echo "Ni testas la sintakson de agordodosieroj. Necesas instalita programo rxp."
-echo "Ni ankaŭ bezonas dtd/vokosgn.dtd por la bibliografio!"
+echo "Ni ankaŭ bezonas dtd/vokosgn.dtd, dtd/vokoenh.dtd por la bibliografio!"
 
 echo "cfg/bibliogr.xml"
 rxp -Vs cfg/bibliogr.xml