#!/bin/sh set -e # usage: ./plain.sh # Copyright 2019-2020 DistressNetwork° # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program. If not, see . # 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 '^