%.gz: %
gzip -c9 $< > $@
-
-$(depth)/%.txt: check-doc-deps
+$(depth)/%$(DOTTEXT): check-doc-deps
rm -f $@
- ln `find ${depth}/Documentation -name $@ -print|head -1 ` .
+ ln `find ${depth}/Documentation -name ${@F} -print|head -1 ` $@
$(outdir)/%.ps: $(outdir)/%.dvi
dvips -o $@ $<