From 13640d6df93459619e2b4bc3d1b9abcbbf794f0a Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 8 May 2025 08:18:45 -0700
Subject: [PATCH] work on manual

---
 rust/doc/info2md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 rust/doc/info2md

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`  /
+'
-- 
2.30.2