diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-09-22 04:36:56 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-09-22 07:36:33 +0200 |
| commit | f55c4099343832270ee6d3c0f4aa374a72ec9111 (patch) | |
| tree | 1746ee8e442c457f663900c054d528d244f3ae93 /.github | |
| parent | 8d5ae7bf63c616925306b42d42d01d1cebf3ffc7 (diff) | |
| download | ghdl-f55c4099343832270ee6d3c0f4aa374a72ec9111.tar.gz ghdl-f55c4099343832270ee6d3c0f4aa374a72ec9111.tar.bz2 ghdl-f55c4099343832270ee6d3c0f4aa374a72ec9111.zip | |
doc: add gnatdoc HTML output
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/doc.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index fe5d0cc18..6d904b01f 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -15,8 +15,22 @@ jobs: docker build -t ghdl/doc - <<-EOF FROM ghdl/vunit:llvm ENV PYTHONPATH=/src/python + RUN apt update -qq && apt install -y gnat-gps EOF + - name: Run gnatdoc + run: | + cat > run.sh <<-EOF + #!/usr/bin/env sh + ./configure + make + gnatdoc -P./ghdl + mkdir public + mv gnatdoc public + EOF + chmod +x run.sh + docker run --rm -v $(pwd):/src -w /src ghdl/doc ./run.sh + - uses: buildthedocs/btd@v0 with: token: ${{ github.token }} |