From a1fb74c4fa69c035ea298c3d526a9a277c8db1f7 Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Sun, 19 Feb 2017 07:32:50 +0100
Subject: File extensions must be rst, not rst.txt

---
 doc/2_Getting/Docker.rst | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

(limited to 'doc/2_Getting/Docker.rst')

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
-- 
cgit v1.2.3