diff options
Diffstat (limited to 'doc/getting/Docker.rst')
| -rw-r--r-- | doc/getting/Docker.rst | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/doc/getting/Docker.rst b/doc/getting/Docker.rst deleted file mode 100644 index 6ba61dbd8..000000000 --- a/doc/getting/Docker.rst +++ /dev/null @@ -1,35 +0,0 @@ -.. _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 |