Changeset 31b3e3 in git

Timestamp:

Feb 18, 2011, 3:49:33 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

119f3c13436d65f9d45ceb051a817450ff123d5b

Parents:

bb15ce7f360a27d441e6c9061f3cd56e5ffe00e2

Message:

gentable may produce convert_table.texi

git-svn-id: file:///usr/local/Singular/svn/trunk@13870 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/gentable.cc (modified) (3 diffs)

Singular/gentable.cc

@@ -18 +18 @@
 #include <Singular/tok.h>
 #include <Singular/grammar.h>
+
+// to produce convert_table.texi for doc:
+//#define CONVERT_TABLE 1
 
   #define ALLOW_PLURAL     1
@@ -345 +348 @@
 /*-------------------------------------------------------------------*/
   fprintf(outfile,"/*---------------------------------------------*/\n");
+  #ifdef CONVERT_TABLE
+  FILE *doctable=fopen("convert_table.texi","w");
+  fprintf(doctable,"@multitable @columnfractions .05 .18 .81\n");
+  int doc_nr=1;
+  #endif
   for (j=257;j<=MAX_TOK+1;j++)
   {
@@ -354 +362 @@
         fprintf(outfile,"// convert %s -> %s\n",
           Tok2Cmdname(i), Tok2Cmdname(j));
+  #ifdef CONVERT_TABLE
+        fprintf(doctable,
+        "@item\n@   %d. @tab @code{%s}  @tab @expansion{} @code{%s}\n",
+        doc_nr,Tok2Cmdname(i),Tok2Cmdname(j));
+        doc_nr++;
+  #endif
         if (j==ANY_TYPE) break;
       }
     }
   }
+  #ifdef CONVERT_TABLE
+  fprintf(doctable,"@end multitable\n");
+  fclose(doctable);
+  #endif
   fprintf(outfile,"/*---------------------------------------------*/\n");
   char ops[]="=><+*/[.^,%(;";