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