#!/bin/bash output-heading() { # 1 = dategroup # we assign the heading to the id for the purpose of URL hashes echo "

$1

" # every heading is followed by at least one index line echo '' } cat < $( [ -n "$html_external_css" ] \ && printf '' \ "$html_external_css" ) $title

$title

$desc

$html_pre_index EOH # generate index and populate statistical vars do-index output-heading output-line close-heading cat <
$( [ -n "$html_footer" ] \ && printf '' "$html_footer" ) $( [ -n "$html_index_footer" ] \ && printf '' "$html_index_footer" )
Copyright © $yearrange $copyright
Last Updated: $( ./tsdate "$lastts" '%F %H:%M:%S' )
$lasthash
EOF