diff options
Diffstat (limited to 'Doc/info')
| -rw-r--r-- | Doc/info/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/info/Makefile b/Doc/info/Makefile index 8a0dfff..412d0e4 100644 --- a/Doc/info/Makefile +++ b/Doc/info/Makefile @@ -7,7 +7,8 @@ PAPERDIR=$(TOPDIR)/paper-$(PAPER) HTMLDIR=$(TOPDIR)/html MKINFO=$(TOOLSDIR)/mkinfo -SCRIPTS=$(TOOLSDIR)/html2texi.pl $(TOOLSDIR)/checkargs.pm $(TOOLSDIR)/mkinfo +SCRIPTS=$(TOOLSDIR)/html2texi.pl $(TOOLSDIR)/checkargs.pm $(TOOLSDIR)/mkinfo \ + $(TOOLSDIR)/fixinfo.el all: python-api.info python-ext.info python-lib.info \ python-mac.info python-ref.info python-tut.info |