#!/bin/sh set -e # usage: ./plain.sh # i/o variables IN="$1" OUT="$2" [ -f $IN ] || { echo "---- [FATAL] $IN not found ----" ; exit 1 ; } # initial write cat plain-header > $2 cat $1 >> $2 printf "\n\n" >> $2 echo '[ok] initial assembly' # hack to fix double
 when generating from nav.sh

sed -e "/^
$/ {n;/^
$/d}" -e "/^<\/pre>$/ {n;/^<\/pre>$/d}" -i'' $2


# metadata

sedesc() {
	sed -e 's;\&;\\\&;' -e 's/;/\\\;/' -e 's;-->;;'
}

TITLE=$(grep -e '^