On Friday 23 February 2007 11:28, Klaas-Jan Stol wrote: > attached an update for languages/PIR/docs/pirgrammar.pod > The document languages/PIR/docs/pirgrammar.html should be removed from > the repository -- don't know how to do this. Then later, we can > generated it via the make file.
Patch applied and HTML file removed as of r17165. -- c
