[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

symbol name which starts with #

From: Hideki IWAMOTO
Subject: symbol name which starts with #
Date: Tue, 22 Mar 2005 01:27:22 +0900

If htags is executed with option -a in the source tree of GNU bison,
HTML/defines/#.html will be created.
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?

Hideki IWAMOTO  address@hidden

reply via email to

[Prev in Thread] Current Thread [Next in Thread]