diff options
Diffstat (limited to 'docs-xml/Makefile')
| -rw-r--r-- | docs-xml/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 7469fbb591..318c00197e 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -9,7 +9,6 @@ include Makefile.settings # Docs to build MAIN_DOCS = $(patsubst %/index.xml,%,$(wildcard */index.xml)) MANPAGES3 = $(wildcard $(MANPAGEDIR3)/*.?.xml) -export TEXINPUTS=xslt/latex:.: # Lists of files to process MANPAGES_PLUCKER = $(patsubst $(MANPAGEDIR3)/%.xml,$(PLUCKERDIR)/%.pdb,$(MANPAGES3)) @@ -23,11 +22,9 @@ endif ifndef OUTPUTDIR Makefile.settings: configure - @echo Makefile.settings not present, trying to run configure... ./configure configure: configure.ac - @echo configure not present, trying to regenerate it... autoreconf endif |