mirror of
https://gitlab.com/gnuwget/wget2.git
synced 2025-07-24 10:01:36 +00:00
16 lines
252 B
Bash
16 lines
252 B
Bash
#!/bin/sh
|
|
#
|
|
# $1: input file (markdown)
|
|
# $2: output file (man)
|
|
|
|
set -u
|
|
set -e
|
|
|
|
(
|
|
echo "% WGET2(1) GNU Wget2 User Manual|GNU Wget2 @PACKAGE_VERSION@"
|
|
echo ""
|
|
cat "$1"
|
|
) | \
|
|
sed '/# Wget2/,/^#/{/^# </!d}' | \
|
|
$PANDOC -s -f markdown -t man -o "$2"
|