[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
- symbol name which starts with #,
Hideki IWAMOTO <=