From 08c5626011262f15bab19fb7e91544a47e06b2c6 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 29 Mar 2014 11:53:56 +0000 Subject: Move HTML formatting to a helper script --- manual/format-html | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 manual/format-html (limited to 'manual/format-html') diff --git a/manual/format-html b/manual/format-html new file mode 100755 index 00000000..836ad990 --- /dev/null +++ b/manual/format-html @@ -0,0 +1,20 @@ +#!/bin/sh + +set -eu + +OUTPUT="$1" +TITLE="$2" +AUTHOR="$3" +VERSION="$4" +shift 4 + +cat > 000.mdwn <