touch $@
%.pdf: %.xml
- dblatex -tpdf $<
+ dblatex -rscripts/fix-symbols.sh -tpdf $<
%.dvi: %.xml
- dblatex -tdvi $<
+ dblatex -rscripts/fix-symbols.sh -tdvi $<
%.ps: %.xml
- dblatex -tps $<
+ dblatex -rscripts/fix-symbols.sh -tps $<
install: install-html
install-html: html-stamp pdf-stamp