mirror of https://github.com/docker/docs.git
Merge pull request #5337 from tianon/man1-assumption
Update contributed man page file names and compilation script
This commit is contained in:
commit
f436c744da
|
@ -9,8 +9,14 @@ cd "$(dirname "$(readlink -f "$BASH_SOURCE")")"
|
||||||
pwd
|
pwd
|
||||||
}
|
}
|
||||||
|
|
||||||
mkdir -p ../man1
|
for FILE in *.md; do
|
||||||
|
base="$(basename "$FILE")"
|
||||||
for FILE in docker*.md; do
|
name="${base%.md}"
|
||||||
pandoc -s -t man "$FILE" -o "../man1/${FILE%.*}.1"
|
num="${name##*.}"
|
||||||
|
if [ -z "$num" -o "$base" = "$num" ]; then
|
||||||
|
# skip files that aren't of the format xxxx.N.md (like README.md)
|
||||||
|
continue
|
||||||
|
fi
|
||||||
|
mkdir -p "../man${num}"
|
||||||
|
pandoc -s -t man "$FILE" -o "../man${num}/${name}"
|
||||||
done
|
done
|
||||||
|
|
Loading…
Reference in New Issue