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/Makefile | |
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/Makefile')
0 files changed, 0 insertions, 0 deletions