source: trunk/texinfo/util/texinfo-cat.in@ 2960

Last change on this file since 2960 was 2617, checked in by bird, 20 years ago

GNU Texinfo 4.8
File size: 76 bytes
Line 
1OVERRIDE YES
2
3PUBLIC "-//GNU//DTD TexinfoML V__VERSION__//EN" "texinfo.dtd"
Note: See TracBrowser for help on using the repository browser.