gnu1.texi   [plain text]

@setfilename ../etc/GNU1
@set justgnu
@include gnu.texi
@bye