diff src/mkdocs @ 3295:35a6d027772c

[project @ 1999-10-19 10:13:02 by jwe]
author jwe
date Tue, 19 Oct 1999 10:13:06 +0000
parents
children 02fcb550f20c
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/mkdocs	Tue Oct 19 10:13:06 1999 +0000
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+sed -n -e '/^BEGIN_DOC_STRING/{
+  : loop
+  N
+  /END_DOC_STRING/b done
+  b loop
+  : done
+  s/BEGIN_DOC_STRING//
+  s/END_DOC_STRING//
+  p
+}'