]> git.saurik.com Git - bison.git/commitdiff
In DOT output, convert from "/*" comments to "//" comments.
authorJoel E. Denny <joeldenny@joeldenny.org>
Fri, 30 Apr 2010 23:50:34 +0000 (19:50 -0400)
committerJoel E. Denny <joeldenny@joeldenny.org>
Sun, 2 May 2010 00:41:07 +0000 (20:41 -0400)
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)

ChangeLog
src/graphviz.c

index d0d717c2eeceaf1c7473a3403e2b60fb6a0d2ca8..5ee3b75717b2a50434663e8de63d1886c52de264 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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>
 
        Document that undefined %prec identifier warnings will remain.
index 13f279f3494f208c0446e7e0cf09c9a80ddce8e1..5eefcbf21c9e78c1f9c6017434b1228e9e368fad 100644 (file)
@@ -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,