]> www.ginac.de Git - ginac.git/blobdiff - ginsh/ginsh_op_help.sed
- added on-line help system
[ginac.git] / ginsh / ginsh_op_help.sed
diff --git a/ginsh/ginsh_op_help.sed b/ginsh/ginsh_op_help.sed
new file mode 100644 (file)
index 0000000..8ca265a
--- /dev/null
@@ -0,0 +1,18 @@
+# Convert help for ginsh operators from man page to C source
+/GINSH_OP_HELP_START/,/GINSH_OP_HELP_END/{
+
+# .B lines contain the operator symbol
+/.B/{
+
+# extract operator symbol
+s/.B \(.*\)/insert_help("operators","\1\\t"/
+s/\\-/-/g
+p
+
+# next line contains description
+n
+s/^/"/
+s/$/");/
+p
+}
+}