🚀 go-pugleaf

Tengo un gigantesco archivo del cual quiero mandar a imprimir
lo menos posible. Este es el encabezado de ese archivo:


@setfilename gcc.info
@c @setfilename usegcc.info
@c To produce the full manual, use the "gcc.info" setfilename, and
@c make sure the following does NOT begin with '@c' (and the @clear line DOES)
@set INTERNALS
@c To produce a user-only manual, use the "usegcc.info" setfilename, and
@c make sure the following does NOT begin with '@c':
@c @clear INTERNALS

@ifset INTERNALS
@settitle Using and Porting GNU CC
@end ifset
@ifclear INTERNALS
@settitle Using GNU CC
@end ifclear

Ya se como mandar a imprimir por paginas, pero... Como puedo 
obtener el "user-only manual"????
Como llamo al tex para que lo haga???

Gracias
Atte
    Agustin (Cucho) Villena