-$(HTMLFILES): $(XMLFILES) manref.xml
- jade -E14 -D $(srcdir) -d html.dsl -t sgml $(srcdir)/xml.dcl $(MAINXML)
+$(HTMLFILES): $(XMLFILES)
+ jade -E14 -D $(srcdir) -d common/html.dsl -t sgml $(srcdir)/common/xml.dcl $(MAINXML)
mv main.tex metaproxy.tex
pdfjadetex metaproxy.tex >/dev/null
pdfjadetex metaproxy.tex >/dev/null
pdfjadetex metaproxy.tex >/dev/null
mv main.tex metaproxy.tex
pdfjadetex metaproxy.tex >/dev/null
pdfjadetex metaproxy.tex >/dev/null
pdfjadetex metaproxy.tex >/dev/null