There was a stale 'doc/texinfo.tex' here (no idea where it's from).
After removing it, everything works out smooth. Sorry for the wind.
Regards, Tim
On 10/18/19 10:02 AM, Tim Rühsen wrote:
> @Paul
>
> The error says
> "/home/oms/src/libmicrohttpd/doc/gpl-2.0.texi:286: This command can
> appear o
@Paul
The error says
"/home/oms/src/libmicrohttpd/doc/gpl-2.0.texi:286: This command can
appear only outside of any environment, not in environment @enumerate."
Line 286 is
@heading NO WARRANTY
$ grep -n enumerate gpl-2.0.texi
67:@enumerate 0
104:@enumerate a
126:@end enumerate
153:@enumerate a
Hi Christian,
I can even reproduce on Debian unstable:
./bootstrap
./configure
make
cd doc
make dvi
Regards, Tim
On 10/17/19 3:11 PM, Christian Grothoff wrote:
> I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
> packages (including texlive 2017 and texinfo 6.5) and it _still
I downloaded an Ubuntu 18.04.3 LTS VM image, installed the required
packages (including texlive 2017 and texinfo 6.5) and it _still_ works
for me. I did try the texi2dvi command and others.
Tim: So sorry, but I cannot reproduce the problem.
Paul: I also completely fail to comprehend the error mes
