diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 647d33f..2dcfa2b 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -293,7 +293,7 @@ paper-$(PAPER)/$(WHATSNEW).pdf: whatsnew/$(WHATSNEW).tex # conversions, as described above. See also the README file. info: - cd $(INFODIR) && $(MAKE) EMACS=$(EMACS) + cd $(INFODIR) && $(MAKE) EMACS=$(EMACS) WHATSNEW=$(WHATSNEW) # Targets to convert the manuals to HTML using Nikos Drakos' LaTeX to # HTML converter. For more info on this program, see |