diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-11-11 18:46:36 +0000 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-11-11 19:46:36 +0100 |
| commit | 8599d9ddd15b15afdeced6059b1e1b7a972f4db1 (patch) | |
| tree | 499b9c6fe0f85ce7ed221f72ac31036eefde0194 /.github | |
| parent | 22775978be88c5ea8e5b740734e42eeb2fef0968 (diff) | |
| download | ghdl-8599d9ddd15b15afdeced6059b1e1b7a972f4db1.tar.gz ghdl-8599d9ddd15b15afdeced6059b1e1b7a972f4db1.tar.bz2 ghdl-8599d9ddd15b15afdeced6059b1e1b7a972f4db1.zip | |
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'
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/doc.yml | 9 |
1 files changed, 9 insertions, 0 deletions
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 |