Re: symbol name which starts with #

[Shigio Yamaguchi]

> HTML/defines.html contains the following line.
> <a href='defines/#.html' title='2 definitions are containded.'>[#]</a>
> 
> Should we change htags so that href='defines/%23.html' will be outputted?
> Or should gtags-parser be changed so that the symbol which starts with '#'
> may not be contained in GTAGS?

I think the former is preferable.
How about using octal form (%03d) ?
        defines/043.html
Currently, this method is used for multi-bytes code set (c > 127).
--
Shigio YAMAGUCHI <address@hidden> - Tama Communications Corporation
PGP fingerprint: D1CB 0B89 B346 4AB6 5663  C4B6 3CA5 BBB3 57BE DDA3