From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 8 May 2025 15:18:45 +0000 (-0700)
Subject: work on manual
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13640d6df93459619e2b4bc3d1b9abcbbf794f0a;p=pspp

work on manual
---

diff --git a/rust/doc/info2md b/rust/doc/info2md
new file mode 100644
index 0000000000..023fb1f0cf
--- /dev/null
+++ b/rust/doc/info2md
@@ -0,0 +1,7 @@
+#! /bin/sh
+sed 's/[“”]/"/g
+s/[‘’]/`/g
+s/•/-/g
+s/ -- Function: \(.*\)/* `\1`  /
+s/ -- Macro Function: \(.*\)/* `\1`  /
+'