Hello all,
I would like to end support of the customization of HTML tag using gtags.conf.
Since we can customize it using CSS(cascading style sheets) now, there is no
problem. Though it seems there is no contrary to this judgment, I would like
to announce it before doing it.
Concrete changes are followings:
o The --html option of htags(1) is removed.
o The following definitions are removed.
[gtags.conf.in]
deprecated:\
:body_begin=<body text='#191970' bgcolor='#f5f5dc'
vlink='gray'>:body_end=</body>:\
:table_begin=<table>:table_end=</table>:\
:title_begin=<h1><font color='#cc0000'>:title_end=</font></h1>:\
:comment_begin=<i><font color='green'>:comment_end=</font></i>:\
:sharp_begin=<font color='darkred'>:sharp_end=</font>:\
:brace_begin=<font color='red'>:brace_end=</font>:\
:warned_line_begin=<span
style='background-color\:yellow'>:warned_line_end=</span>:\
:reserved_begin=<b>:reserved_end=</b>:
Shigio
--
Shigio YAMAGUCHI <[email protected]>
PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3
_______________________________________________
Bug-global mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-global
