aboutsummaryrefslogtreecommitdiffstats
path: root/dist/man.sh
blob: 4c5316ddb4c11e74320dc37dbb2ba69ddd3ef95c (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:featured \
  sh -c "sphinx-build -T -b man . ./_build/man"

nroff -man doc/_build/man/ghdl.1