diff options
Diffstat (limited to 'docs/Makefile.settings.in')
| -rw-r--r-- | docs/Makefile.settings.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/Makefile.settings.in b/docs/Makefile.settings.in index f4a3dca2b4..8d210e7121 100644 --- a/docs/Makefile.settings.in +++ b/docs/Makefile.settings.in @@ -41,7 +41,6 @@ PDFDIR = $(OUTPUTDIR) DVIDIR = $(OUTPUTDIR) FODIR = $(OUTPUTDIR) HTMLHELPDIR = $(OUTPUTDIR)/htmlhelp -VALIDATEDIR = $(OUTPUTDIR)/validate PEARSONDIR = $(OUTPUTDIR)/pearson TXTDIR = $(OUTPUTDIR)/textdocs HTMLDIR=$(OUTPUTDIR)/htmldocs |