For PDF documentation, use dblatex instead of pdfjadetex
[metaproxy-moved-to-github.git] / etc / .cvsignore
1 tmp*.xml
2 Makefile
3 Makefile.in