> > > > Actually there is a txt downloadable version of the manual, so
> > > > the install.txt file can be cropped from that file.
> > > >
> > > > Goba
> > > It would still be nice if that could be automatic - otherwise it's
liekly
> > to
> > > be forgotten when building a new release.
> >
> > OK, I'll see what I can do...
>
> May I suppose adding a new target to Makefile? make install.txt... will
> need some auxiliary files too, but should be anyway quite easy.

Great idea. I am just a bit experienced with Linux tools. Maybe we
can get out the lines needs to be put into the install.txt with a
grep with some tools piped together. Do you have a better idea?
Maybe you can do this much faster than me Jouni :))

Goba

Reply via email to