blob: 5244e49a76968b44e30f938fae479c06b6b6b11f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#! /bin/bash
cd $(dirname $0)/..
rm -rf doc/_build/man/*
set -e
docker run --rm -it \
-v /$(pwd):/src \
-w //src/doc \
btdi/sphinx:py2-featured \
sh -c "sphinx-build -T -b man . ./_build/man"
nroff -man doc/_build/man/ghdl.1
|