mirror of
https://git.freebsd.org/ports.git
synced 2025-06-09 06:40:33 -04:00
f87963630c
- Update to 2.1.71
- Use ${INFO}
Moreover:
- Polish the Makefile
PR: ports/81482 [1]
Submitted by: Johan van Selst <johans@stack.nl> [1]
11 lines
452 B
Text
11 lines
452 B
Text
--- doc/interpreter/Makefile.in.orig Wed May 25 22:21:11 2005
|
|
+++ doc/interpreter/Makefile.in Wed May 25 22:21:04 2005
|
|
@@ -89,7 +89,7 @@
|
|
@$(top_srcdir)/move-if-change $@.t $@
|
|
|
|
octave.info: $(MAIN_TEXINFO) $(SUB_TEXINFO) ../conf.texi
|
|
- -$(MAKEINFO) -I$(srcdir) -I$(srcdir)/.. $<
|
|
+ -$(MAKEINFO) --no-split -I$(srcdir) -I$(srcdir)/.. $<
|
|
|
|
octave.dvi: $(MAIN_TEXINFO) $(SUB_TEXINFO) ../conf.texi
|
|
-TEXINPUTS="$(srcdir):$(srcdir)/..:$(TEXINPUTS):"; \
|