Re: Info errors

[Michael Albinus]

Colin Baxter <address@hidden> writes:

Hi Colin,

>     > # ls -al .../texi
>
> drwxr-xr-x 2 redknight redknight   4096 Dec 28 06:43 .
> drwxr-xr-x 8 redknight redknight   4096 Dec 28 11:20 ..
> -rw-r--r-- 1 redknight redknight  89378 Dec 28 06:38 ChangeLog
> -rw-r--r-- 1 redknight redknight    778 Jul 11 06:25 dir_sample
> -rw-r--r-- 1 redknight redknight  23588 Jul 11 06:25 doclicense.texi
> -rw-r--r-- 1 redknight redknight    302 Jul 11 06:25 docstyle.texi
> -rw-r--r-- 1 redknight redknight    125 Jul 11 06:25 .gitignore
> -rw-r--r-- 1 redknight redknight   3754 Dec 28 06:43 Makefile
> -rw-r--r-- 1 redknight redknight   3598 Oct  6 09:30 Makefile.in
> -rw-r--r-- 1 redknight redknight    102 Jul 11 06:25 test.texi
> -rw-r--r-- 1 redknight redknight   8872 Oct  6 09:30 trampinst.texi
> -rw-r--r-- 1 redknight redknight 148710 Dec 28 06:38 tramp.texi
> -rw-r--r-- 1 redknight redknight   1689 Dec 28 06:43 trampver.texi
> -rw-r--r-- 1 redknight redknight   1641 Oct  6 09:30 trampver.texi.in

Looks good.

>     > # makeinfo --version
>
> makeinfo (GNU texinfo) 5.2

Well, I have

texi2any (GNU texinfo) 6.5

Likely, this makes the difference. Will see, whether I could test with
that older version.

> Best wishes,

Best regards, Michael.