> > > > > 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 :))
Actually we can also generate the install.txt from the installation.html and other installation files filtered through lynx, and glued to each other. So not extracting, but putting together the things... Goba
