From f55c4099343832270ee6d3c0f4aa374a72ec9111 Mon Sep 17 00:00:00 2001
From: umarcor <unai.martinezcorral@ehu.eus>
Date: Tue, 22 Sep 2020 04:36:56 +0200
Subject: doc: add gnatdoc HTML output

---
 .github/workflows/doc.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to '.github/workflows/doc.yml')

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 }}
-- 
cgit v1.2.3