diff src/mkgendoc @ 3321:6923abb04e16

[project @ 1999-10-26 18:15:30 by jwe]
author jwe
date Tue, 26 Oct 1999 18:15:41 +0000
parents 35a6d027772c
children fac05a83b4c5
line wrap: on
line diff
--- a/src/mkgendoc	Fri Oct 22 09:46:23 1999 +0000
+++ b/src/mkgendoc	Tue Oct 26 18:15:41 1999 +0000
@@ -26,7 +26,7 @@
 #define XDEFVAR_INTERNAL(name, sname, defn, protect, chg_fcn, doc) \
   print_doc_string (#name, doc);
 
-#define XDEFCONST_INTERNAL(name, sname, defn, protect, doc) \
+#define XDEFCONST_INTERNAL(name, defn, doc) \
   print_doc_string (#name, doc);
 
 #define XDEFUN_MAPPER_INTERNAL(name, ch_map, d_b_map, c_b_map, d_d_map, \
@@ -37,8 +37,16 @@
 static void
 print_doc_string (const string& name, const string& doc)
 {
-  cout << "" << name << "\n";
-  cout << doc << "\n";
+  cout << "";
+
+  size_t len = name.length ();
+
+  if (name[0] == '"' && name[len-1] == '"')
+    cout << name.substr (1, len-2);
+  else
+    cout << name;
+
+  cout << "\n" << doc << "\n";
 }
 
 EOF