diff options
author | Joel E. Denny <joeldenny@joeldenny.org> | 2010-04-30 19:50:34 -0400 |
---|---|---|
committer | Joel E. Denny <joeldenny@joeldenny.org> | 2010-05-01 19:48:15 -0400 |
commit | b7666378f5cb5e9587d3c918f0cdcaf6f8aca5c7 (patch) | |
tree | 1838cc4b812dd0e540283433b3ef4d1a7d1031cf /src | |
parent | 56e92e0bffe6f7d3d6ecb0506280529b0a2fa7bf (diff) | |
download | bison-b7666378f5cb5e9587d3c918f0cdcaf6f8aca5c7.tar.gz |
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.
Diffstat (limited to 'src')
-rw-r--r-- | src/graphviz.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/graphviz.c b/src/graphviz.c index 13f279f3..5eefcbf2 100644 --- a/src/graphviz.c +++ b/src/graphviz.c @@ -40,11 +40,9 @@ void start_graph (FILE *fout) { fprintf (fout, - _("/*\n" - " * Generated by %s.\n" - " * Report bugs to <%s>.\n" - " * Home page: <%s>.\n" - " */\n" + _("// Generated by %s.\n" + "// Report bugs to <%s>.\n" + "// Home page: <%s>.\n" "\n"), PACKAGE_STRING, PACKAGE_BUGREPORT, |