2015-11-11 09:15:14 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
2016-11-01 15:43:33 +01:00
|
|
|
set -eu
|
2021-08-31 19:01:47 +02:00
|
|
|
cd "$(dirname "$0")"
|
2016-11-01 15:43:33 +01:00
|
|
|
|
2019-01-04 19:56:03 +01:00
|
|
|
# Render Markdown to a proper man(1) manpage
|
2021-08-31 19:01:47 +02:00
|
|
|
render() {
|
2019-01-04 19:56:03 +01:00
|
|
|
IN=$1
|
|
|
|
OUT=$2
|
|
|
|
echo "Rendering $IN to $OUT"
|
2021-08-31 19:01:47 +02:00
|
|
|
echo ".\\\" This man page was generated from $IN. View it using 'man ./$OUT'" > "$OUT"
|
|
|
|
echo ".\\\"" >> "$OUT"
|
|
|
|
pandoc "$IN" -s -t man >> "$OUT"
|
2019-01-04 19:56:03 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
render MANPAGE.md gocryptfs.1
|
|
|
|
render MANPAGE-XRAY.md gocryptfs-xray.1
|
2019-09-06 18:43:54 +02:00
|
|
|
render MANPAGE-STATFS.md statfs.1
|