diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-02-19 07:32:50 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | a1fb74c4fa69c035ea298c3d526a9a277c8db1f7 (patch) | |
| tree | b8705240a4f85461ae2951d00fc37c64354cd621 /doc/2_Getting | |
| parent | 45dfdf3444abe623b4eab42cd1553c8e4b56f139 (diff) | |
| download | ghdl-a1fb74c4fa69c035ea298c3d526a9a277c8db1f7.tar.gz ghdl-a1fb74c4fa69c035ea298c3d526a9a277c8db1f7.tar.bz2 ghdl-a1fb74c4fa69c035ea298c3d526a9a277c8db1f7.zip | |
File extensions must be rst, not rst.txt
Diffstat (limited to 'doc/2_Getting')
| -rw-r--r-- | doc/2_Getting/Docker.rst | 25 | ||||
| -rw-r--r-- | doc/2_Getting/Releases.rst | 4 |
2 files changed, 28 insertions, 1 deletions
diff --git a/doc/2_Getting/Docker.rst b/doc/2_Getting/Docker.rst index db371222d..35a1c11b6 100644 --- a/doc/2_Getting/Docker.rst +++ b/doc/2_Getting/Docker.rst @@ -3,4 +3,29 @@ Docker containers ############# +What is docker? A primer +================= +Where are images hosted? +================= + +docker-hub +ghdl-tools +Dockerfiles + +Launch options +================= + +With(out) shared folder +---------------- + +Interactive/daemon +---------------- + +Shrinking +---------------- + +Additional tools, with(out) GUI +---------------- + +GtkWave, PoC, VUnit, OSVVM, UVVM
\ No newline at end of file diff --git a/doc/2_Getting/Releases.rst b/doc/2_Getting/Releases.rst index 9e06f65af..0fbd4542d 100644 --- a/doc/2_Getting/Releases.rst +++ b/doc/2_Getting/Releases.rst @@ -3,4 +3,6 @@ Releases ######## - +.. TODO: topic + + naming, stable, development, nightly
\ No newline at end of file |