aboutsummaryrefslogtreecommitdiffstats
path: root/dist/man.sh
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