[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Mar 8 02:09:54 1995 
Subject:Re: poplog and emacs 
From:A . Sloman 
Volume-ID:950308.01 

> ..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