Re: install.xml en

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