diff options
| author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 17:35:44 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | df245f9d30e4822d500b519cf7a2eb066f4dfebc (patch) | |
| tree | 592690a38a0d198d48977632a9ed5b58f9ace676 /doc/getting/Docker.rst | |
| parent | 28d9ddf0e2aff8fe6937949f54285cae9ee478a7 (diff) | |
| download | ghdl-df245f9d30e4822d500b519cf7a2eb066f4dfebc.tar.gz ghdl-df245f9d30e4822d500b519cf7a2eb066f4dfebc.tar.bz2 ghdl-df245f9d30e4822d500b519cf7a2eb066f4dfebc.zip | |
Fixed headlines (1).
Diffstat (limited to 'doc/getting/Docker.rst')
| -rw-r--r-- | doc/getting/Docker.rst | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/doc/getting/Docker.rst b/doc/getting/Docker.rst index 5759739b0..6ba61dbd8 100644 --- a/doc/getting/Docker.rst +++ b/doc/getting/Docker.rst @@ -1,35 +1,35 @@ .. _DOCKER: Docker containers -############# +################# * :ghdlsharp:`270` * :ghdlsharp:`272` * :ghdlsharp:`297` 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 |