From 8599d9ddd15b15afdeced6059b1e1b7a972f4db1 Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Mon, 11 Nov 2019 18:46:36 +0000
Subject: Update doc (#1003)

* doc: update makefile and build scripts

* actions: add workflow 'doc'

* doc: reorganize sections

* doc: fix 'unknown option' warnings, headings, spaces, etc.

* doc: add subdir 'examples', move 'quick_start' sources

* doc: add section 'Development/Debugging'

* doc: add section'Development/Synthesis'

* doc: update roadmap

* doc: add section examples

* doc: use standard domain

* doc: add comment about 'vhd' vs 'vhdl'
---
 .github/workflows/doc.yml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .github/workflows/doc.yml

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

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
new file mode 100644
index 000000000..ca57d00e2
--- /dev/null
+++ b/.github/workflows/doc.yml
@@ -0,0 +1,9 @@
+name: 'doc'
+on: [push, pull_request]
+jobs:
+  linux:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+    - name: build doc
+      run: ./doc/make.sh
-- 
cgit v1.2.3