diff options
Diffstat (limited to 'Build/source/utils/asymptote/doc/png/Makefile.in')
-rw-r--r-- | Build/source/utils/asymptote/doc/png/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/utils/asymptote/doc/png/Makefile.in b/Build/source/utils/asymptote/doc/png/Makefile.in index 798fb9ef969..a2eaa52f32a 100644 --- a/Build/source/utils/asymptote/doc/png/Makefile.in +++ b/Build/source/utils/asymptote/doc/png/Makefile.in @@ -20,7 +20,7 @@ index.html: $(SOURCE) $(ASYFILES:.asy=.png) makeinfo --html ../asymptote -o . asymptote.info: $(SOURCE) $(ASYFILES:.asy=.png) - makeinfo ../asymptote + makeinfo --no-split ../asymptote html: index.html @@ -35,7 +35,6 @@ distclean: FORCE clean install: ${INSTALL} -d -m 755 $(infodir) ${INSTALL} -p -m 644 asymptote.info $(infodir) - -${INSTALL} -p -m 644 asymptote.info-* $(infodir) -if test -z "$(DESTDIR)"; then \ install-info --infodir=$(infodir) asymptote.info; \ fi |