mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-20 09:43:03 +00:00
In DOT output, convert from "/*" comments to "//" comments.
This handles the possibility that a "*/" might appear in variable portions of those comments at some point in the future. * src/graphviz.c (start_graph): Implement.
This commit is contained in:
@@ -1,3 +1,10 @@
|
|||||||
|
2010-05-01 Joel E. Denny <joeldenny@joeldenny.org>
|
||||||
|
|
||||||
|
In DOT output, convert from "/*" comments to "//" comments.
|
||||||
|
This handles the possibility that a "*/" might appear in
|
||||||
|
variable portions of those comments at some point in the future.
|
||||||
|
* src/graphviz.c (start_graph): Implement.
|
||||||
|
|
||||||
2010-04-30 Joel E. Denny <joeldenny@joeldenny.org>
|
2010-04-30 Joel E. Denny <joeldenny@joeldenny.org>
|
||||||
|
|
||||||
Document that undefined %prec identifier warnings will remain.
|
Document that undefined %prec identifier warnings will remain.
|
||||||
|
|||||||
@@ -40,11 +40,9 @@ void
|
|||||||
start_graph (FILE *fout)
|
start_graph (FILE *fout)
|
||||||
{
|
{
|
||||||
fprintf (fout,
|
fprintf (fout,
|
||||||
_("/*\n"
|
_("// Generated by %s.\n"
|
||||||
" * Generated by %s.\n"
|
"// Report bugs to <%s>.\n"
|
||||||
" * Report bugs to <%s>.\n"
|
"// Home page: <%s>.\n"
|
||||||
" * Home page: <%s>.\n"
|
|
||||||
" */\n"
|
|
||||||
"\n"),
|
"\n"),
|
||||||
PACKAGE_STRING,
|
PACKAGE_STRING,
|
||||||
PACKAGE_BUGREPORT,
|
PACKAGE_BUGREPORT,
|
||||||
|
|||||||
Reference in New Issue
Block a user