Update of bug #25820 (project texinfo):
Open/Closed: Open => Closed
Status: Need Info => Fixed
_______________________________________________________
Follow-up Comment #4:
The name mangling producing DocBook id now follows what we do for HTML, so
this should be alright (and maybe even more strict than what docbook
requires).
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?25820>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
