diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-04-10 07:48:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 07:48:47 +0200 |
| commit | 2bea592952b8a9f9860bb646ddf72d26eac4ad29 (patch) | |
| tree | 52f50b443a2d15a3f49d8cee8cd77538a9fa1292 /doc/_static | |
| parent | 713cd87326302ee2ad750ec6d9d3a601f315e66b (diff) | |
| download | ghdl-2bea592952b8a9f9860bb646ddf72d26eac4ad29.tar.gz ghdl-2bea592952b8a9f9860bb646ddf72d26eac4ad29.tar.bz2 ghdl-2bea592952b8a9f9860bb646ddf72d26eac4ad29.zip | |
update doc (synth, overview, generics, etc.) (#1205)
* doc: extend info about setting generics through the CLI
* doc: rename 'Command Reference' to 'Additional Command Reference'
* doc: use '``' instead of ':samp:'
* doc: update info about synthesis
* doc: add references to sources in internals/Overview
* doc: add diagram to internals/Overview
Diffstat (limited to 'doc/_static')
| -rw-r--r-- | doc/_static/icons/.gitempty | 0 | ||||
| -rw-r--r-- | doc/_static/images/.gitempty | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/_static/icons/.gitempty b/doc/_static/icons/.gitempty deleted file mode 100644 index e69de29bb..000000000 --- a/doc/_static/icons/.gitempty +++ /dev/null diff --git a/doc/_static/images/.gitempty b/doc/_static/images/.gitempty deleted file mode 100644 index e69de29bb..000000000 --- a/doc/_static/images/.gitempty +++ /dev/null |