view src/mkdocs @ 5100:5a92c3177fc6 before-gnuplot-split

[project @ 2004-12-27 17:20:38 by jwe]
author jwe
date Mon, 27 Dec 2004 17:20:38 +0000
parents 02fcb550f20c
children c1b66b74937d
line wrap: on
line source

#!/bin/sh

SED=${SED:-'sed'}

$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
}'