piplib doc build fails

[Uday R Bondhugula]

With the current git version of piplib (piplib-1.4.0-7-gc430380), the
documentation doesn't build with a recent version of texinfo. I couldn't
immediately see how the tex had to be updated. The reason this is
important to fix is that 'make dist' fails with an error and any tools
that include piplib as a module will also have their 'make dist' failing.

$ texi2dvi --version
texi2dvi (GNU Texinfo 5.1) 5234


$ cd doc/
$ make piplib.pdf
texi2dvi --pdf piplib.texi
This is pdfTeX, Version 3.1415926-2.6-1.40.14 (TeX Live 2014/dev)
restricted \write18 enabled.
entering extended mode
(./piplib.texi
(/usr/share/texlive/texmf-local/texmf-compat/tex/texinfo/texinfo.tex
Loading texinfo [version 2013-02-01.11]: pdf, fonts, markup, glyphs,
page headings, tables, conditionals, indexing, sectioning, toc,
environments,
defuns, macros, cross references, insertions,
(/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
This is `epsf.tex' v2.7.4 <14 February 2011>
) localization, formatting, and turning on texinfo input format.)
(./piplib.aux
) (./gitversion.texi)
[1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/
pdftex.map}] [2] (./piplib.toc) [-1] [-2] (./piplib.toc) (./piplib.toc)
Chapter 1 l.133: Undefined cross reference `lp_solve-snt'.
l.133: Undefined cross reference `lp_solve-snt'.
l.133: Undefined cross reference `lp_solve-pg'.
l.133: Undefined cross reference `CPLEX-snt'.
l.133: Undefined cross reference `CPLEX-snt'.
l.133: Undefined cross reference `CPLEX-pg'.
l.138: Undefined cross reference `Fea88-snt'.
l.138: Undefined cross reference `Fea88-snt'.
l.138: Undefined cross reference `Fea88-pg'. <./images/pipmin.pdf>
./piplib.texi:176: Missing } inserted.
<inserted text>
}
<to be read again>
$
\geq ->\ifmmode \ge \else $
\ge $\fi
<argument> 2i + 3j - 8 &\geq
0\cr 4i - j - 4 &\geq 0\cr -i + n &\geq
0\cr j ...

\eqalign ...$&$\displaystyle {{}##}$\hfil \crcr #1
\crcr }}\,
l.176 -j + m &\geq 0}
\right.
?

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.