dist/man.sh


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