Convertir Info a PS

1998-11-17 Por tema Virgilio Gómez Rubio 
Hola:

  Alguien conoce la forma de pasar varios ficheros en formato Info a PS?
El problema no lo tengo cuando tengo un 'unico fichero info, sino cuando,
para un mismo programa, la documentaci'on viene en varios archivos.

  Gracias.


  Virgilio

 Dios mio, hemos caido en manos de ingenieros
Ian Malcom, el matemático  de Parque Jurásico

  http://www.geocities.com/Athens/5474

Re: Convertir Info a PS

1998-11-17 Por tema Santiago Vila 
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)

Re: Convertir Info a PS

1998-11-17 Por tema Gomez Rubio Virgilio 
Hola:

  Gracias. El fuente done est'a, viene con los binarios o lo busco entre
los fuentes? Tengo la Debian que regalaron con el Linux Actual.

  Un saludo. 

  Virgilio

Re: Convertir Info a PS

1998-11-17 Por tema Santiago Vila 
On Tue, 17 Nov 1998, Gomez Rubio Virgilio wrote:

 ¿El fuente done está?, ¿viene con los binarios o lo busco entre
 los fuentes?

El código fuente siempre está (al menos) en el código fuente.

En el FTP, en el directorio source. En CD, en el CD en el que venga el
código fuente.

 Tengo la Debian que regalaron con el Linux Actual.

Pues eso, en el otro CD.

-- 
 8e38cc0f604bfd9fef3433bf29c7cfb6 (a truly random sig)