summaryrefslogtreecommitdiff
blob: b8ba9f1b6ed2427054511fe1382e6707497b3769 (plain)
1
2
3
4
5
6
7
8
9
10
#!/bin/bash
DOCCMD="asciidoc -f config "
LINTCMD="xmllint --xmlout"
for i in index.txt src/*.txt src/git/*.txt ; do
  base=${i%.txt}
  html="${base}.html"
  echo " $base -> $html "
  $DOCCMD $i;
  $LINTCMD ${html} --output ${html}
done