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
@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
Which texi2dvi version is this?
With pkgsrc using texi2dvi (GNU Texinfo 6.5) 7906
I can not reproduce this.
It's worth noting that gpl.texi (the gpl3) ommits the
@heading item where it causes problems and just makes it an @item.
I think this issue is with an older texinfo version + older texi2dv
texi2dvi (GNU Texinfo 6.7)
texinfo 6.7.0.dfsg.2-5
Here, the 'make dvi' output starts with some more version numbers,
possibly relevant:
##
$ make dvi
Making dvi in .
make[1]: Entering directory '/home/oms/src/libmicrohttpd/doc'
TEXINPUTS="../build-aux:$TEXINPUTS" \
MAKEINF
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
Hi,
please apply this patch. It fixes the Gitlab CI pipeline.
On Debian/Stretch 'make distcheck' after 'make' doesn't work.
So, what works is the sequence
./bootstrap
./configure
make distcheck
Regards, Tim
On 10/13/19 2:59 PM, Tim Rühsen wrote:
> Please have a look at
>
> https://gitlab.com
