diff options
Diffstat (limited to 'docs/Makefile.in')
| -rw-r--r-- | docs/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/Makefile.in b/docs/Makefile.in index 94ae43ad05..e48be83ec7 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -19,7 +19,7 @@ PNGTOPNM = @PNGTOPNM@ EPSTOPNM = @EPSTOPNM@ PNMTOPNG = @PNMTOPNG@ PNMTOPS = @PNMTOPS@ -XMLTO = @XMLTO@ +HTML2TEXT = @HTML2TEXT@ PLUCKERBUILD = @PLUCKERBUILD@ PDFLATEX = TEXINPUTS=xslt/latex:.: @PDFLATEX@ LATEX = TEXINPUTS=xslt/latex:.: @LATEX@ @@ -161,8 +161,8 @@ clean: $(TXTDIR): mkdir $(TXTDIR) -$(TXTDIR)/%.txt: %.xml - $(XMLTO) txt -o $(TXTDIR) $< > $@ +$(TXTDIR)/%.txt: $(HTMLDIR)/%.html + $(HTML2TEXT) -nobs -style pretty -o $@ $< # Tex files %.tex: %.xml |