feinerer 802791af43 Update to Texinfo 6.5 ...

OK kili@

2017-09-18 07:59:40 +00:00

..

pkg

Update to Texinfo 6.4

2017-07-03 10:24:54 +00:00

distinfo

Update to Texinfo 6.5

2017-09-18 07:59:40 +00:00

Makefile

Update to Texinfo 6.5

2017-09-18 07:59:40 +00:00