#!/bin/sh # # Generate documentation # basedir="$(dirname "$0")" [ "$(echo "$basedir" | cut -c1)" = '/' ] || basedir="$PWD/$basedir" srcdir="$basedir/.." die() { echo "$*" >&2 exit 1 } gen() { local md="$1" local docname="$(basename "$md" .md)" local dir="$(dirname "$md")" local html="$dir/$docname.html" local pdf="$dir/$docname.pdf" echo "Generating $docname ..." echo "" > "$html" ||\ die "Failed to generate" markdown "$md" >> "$html" ||\ die "Failed to generate" echo "" >> "$html" ||\ die "Failed to generate" wkhtmltopdf "$html" "$pdf" ||\ die "Failed to generate" } for i in "$srcdir"/*.md; do gen "$i" done cd "$srcdir" || die "Failed to cd" html2ps --encoding "UTF-8" \ --web b \ --dsc \ --frame \ --xref \ --number \ --underline \ --colour \ --hyphenate \ README.html > AWLSIM.ps ||\ die "Failed to generate" ps2pdf AWLSIM.ps AWLSIM.pdf ||\ die "Failed to generate" exit 0