11 Mar
2016
11 Mar
'16
3:15 p.m.
Hi Peter,
thanks for:
... $ makeinfo --version texi2any (GNU texinfo) 6.0
[...]
... makeinfo/texinfo no later than version 4.
that should not be big problem. I'll try it on Monday ...
-- Bernhard
_______________________________________________ Gpc mailing list Gpc@gnu.de https://www.g-n-u.de/mailman/listinfo/gpc