On Tue, 17 Nov 1998, Virgilio Gómez Rubio wrote: > Alguien conoce la forma de pasar varios ficheros en formato Info a PS? Coge el código fuente y saca el .ps del .dvi que saques del .texi. -- "bc30aa93f27af8265af21f8f44487f38" (a truly random sig)