diff src/mkdocs @ 4299:02fcb550f20c

[project @ 2003-01-16 20:15:14 by jwe]
author jwe
date Thu, 16 Jan 2003 20:15:15 +0000
parents 35a6d027772c
children c1b66b74937d
line wrap: on
line diff
--- a/src/mkdocs
+++ b/src/mkdocs
@@ -1,6 +1,8 @@
 #!/bin/sh
 
-sed -n -e '/^BEGIN_DOC_STRING/{
+SED=${SED:-'sed'}
+
+$SED -n -e '/^BEGIN_DOC_STRING/{
   : loop
   N
   /END_DOC_STRING/b done