1 files changed, 23 insertions, 0 deletions
diff --git a/bin/info2doc.fmt b/bin/info2doc.fmt
new file mode 100644
index 00000000000..ef0b0331543
--- /dev/null
+++ b/bin/info2doc.fmt
@@ -0,0 +1,23 @@
+start
+hide section FILENAME
+hide section COPYRIGHT
+print prelude
+print title
+print synopsis
+print section CLASS TYPE
+print section AUDIENCE
+print section DESCRIPTION
+print section EXAMPLE
+print contract *
+print section *
+print section NOTES
+print section PORTABILITY
+print section SEE ALSO
+print section LIBRARY
+print section VERSION
+print section DATE RELEASED
+print section RCSID
+print section SCCSID
+print section AUTHOR(S)
+print copyright
+end