Re: DOCBOOK: : in docbook -> html

/ Joerg Wittenberger <> was heard to say:

[let's move this thread over to docbook-apps]

| I'm using Norm'S stylesheets to convert docbook into html
| documentation (and ps).  Thereby I discovered that entitiy references
| to &colon; (from ison-num.gml) are expanded into &colon; again.
...