echo This command will produce PostScript files of the Documentation and will #echo put it at the relevant places: echo echo Delete "Introduction.ps.gz" at directory "Official-Version"... rm ../Introduction.ps.gz echo Generate PostScript of "Introduction" echo -------------------------------------- fmprint -i -p Einstellungen.doc Introduction.doc echo -------------------------------------- echo echo Generate PostScript of all other Circuits echo -------------------------------------- for circuit in `ls *.doc` do echo $circuit raw=`cut -f1 -d.<