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 20:41:07 -0400 |
commit | ad6f84e550b78816b5591fc174883e49720deca8 (patch) | |
tree | 75c231c7f38118107929a6d56eeb02176cb5f940 /src/graphviz.c | |
parent | 212792959e5dda1a733b2c04d4ed37fbb7f4eb50 (diff) | |
download | bison-ad6f84e550b78816b5591fc174883e49720deca8.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.
(cherry picked from commit b7666378f5cb5e9587d3c918f0cdcaf6f8aca5c7)
Diffstat (limited to 'src/graphviz.c')
-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, |