[m-dev.] [for review] HTMLized docs in compiler/notes

[Bert Thompson]

|Bert THOMPSON, you wrote:
|> 
|> BTW, if people are happy to nuke the plain text files and retain the HTML, 
|> thus eliminating the dual update problem, I'll nuke.
|
|Yes, please do so.

Will do now.

|It would still be a good idea to have a rule in the Makefile
|for creating the plain text versions, i.e.
|
|	.SUFFIXES: .html
|
|	.html:
|		lynx -dump $< > $@

Praise be! I wondered if there was a good html2text utility about.
I'll add such a rule and have the text files automatically generated.

Bert