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

Last change on this file since 3003 was 2617, checked in by bird, 19 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.