> ..or you can strip the special characters on a file by file basis. I
> have the following shell script to do this:
>
> #! /bin/csh -f
> basepop11 %noinit $popliblib/stripvedfile $*
>
> Although this does mean starting up a Poplog process each time you need
> to strip a file.
But then ved_indexify no longer works sensibly on the file if it uses
the new style headers.
I don't want to have two complete sets of online documentation: one with
the new format for VED users and one stripped for Emacs users.
The old format worked fine despite its aesthetic inelegance!
I think it is always a mistake to put scarce effort into enhancing
cosmetics that add no real functionality.
Aaron
|