diff options
Diffstat (limited to 'docs-xml/Makefile')
| -rw-r--r-- | docs-xml/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 68890306ed..c177ba721b 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -69,7 +69,6 @@ clean:: pdf:: $(patsubst %,$(PDFDIR)/%.pdf,$(MAIN_DOCS)) ps:: $(patsubst %,$(PSDIR)/%.ps,$(MAIN_DOCS)) txt:: $(patsubst %,$(TXTDIR)/%.txt,$(MAIN_DOCS)) -txt-chunks:: $(addsuffix -txt-chunks,$(MAIN_DOCS)) tex:: $(addsuffix .tex,$(MAIN_DOCS)) texi:: $(patsubst %,$(TEXINFODIR)/%.texi,$(MAIN_DOCS)) texiinfo:: $(patsubst %,$(TEXINFODIR)/%.info,$(MAIN_DOCS)) |