annotate src/build-texinfo-1-fixes.patch @ 3721:933b99febcf1

Expand options to support 3 possible sources of octave * configure.ac: modify --enable-stable rule to --enable-octave=source (stable,alpha,default) * Makefile.am: modify OCTAVE_TARGET based on octave build value set in configure. * index.html: added master-octave information. * src/default-octave.mk: new file. * src/default-octave-1-docinstall.patch * dist-files.mk: add default-octave-1-docinstall.patch default-octave.mk * binary-dist-rules.mk: use OCTAVE_TARGET to decide on tarball/installer name
author John Donoghue <john.donoghue@ieee.org>
date Sun, 19 Oct 2014 22:58:20 -0400
parents 596a5f3baf08
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3518
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
1 diff -ru a/util/texi2dvi b/util/texi2dvi
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
2 --- a/util/texi2dvi 2008-09-18 14:46:01.000000000 -0400
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
3 +++ b/util/texi2dvi 2014-02-14 13:21:50.038015947 -0500
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
4 @@ -1683,7 +1683,7 @@
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
5
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
6 # If the COMMAND_LINE_FILENAME is not absolute (e.g., --debug.tex),
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
7 # prepend `./' in order to avoid that the tools take it as an option.
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
8 - echo "$command_line_filename" | $EGREP '^(/|[A-z]:/)' >&6 \
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
9 + echo "$command_line_filename" | $EGREP '^(/|[A-Za-z]:/)' >&6 \
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
10 || command_line_filename="./$command_line_filename"
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
11
596a5f3baf08 fix texinfo egrep bug
John W. Eaton <jwe@octave.org>
parents:
diff changeset
12 # See if the file exists. If it doesn't we're in trouble since, even