Mail Archives: djgpp-workers/1997/05/08/13:16:13
On Thu, 8 May 1997, Diego Zuccato wrote:
> OK. Do you think this implies a change in the documentation ?
> I think it could be better... At least to avoid people complaining...
I don't have the docs handy right now, but if you think it should be
amended, by all means include the changes to the docs with the patches
that you post. (In case you didn't know: the changes to the docs need to
be done in the Texinfo sources--these are the .txh files in djlsr.)
- Raw text -