2 files changed, 3 insertions, 54 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
diff --git a/doc/getting/Releases.rst b/doc/getting/Releases.rst
index 63284307a..7d3a91929 100644
--- a/doc/getting/Releases.rst
+++ b/doc/getting/Releases.rst
@@ -1,14 +1,14 @@
 .. _RELEASE:
 
-Releases
-########
+Releases and sources
+####################
 
 .. contents:: Contents of this Page
    :local:
 
 .. _RELEASE:packages:
 
-Downloading pre-build packages
+Downloading pre-built packages
 ******************************
 
 .. |Ubu1204-llvm38| image:: https://img.shields.io/github/downloads/tgingold/ghdl/2017-03-01/ghdl-0.34-dev-llvm-3.8-2017-03-01-ubu1204.tgz.svg
@@ -41,8 +41,6 @@ Downloading pre-build packages
 | Windows x86  | mcode    | 5.25 MiB  | |Win32-mcode|      |
 +--------------+----------+-----------+--------------------+
 
-
-
 .. _RELEASE:Sources:
 
 Downloading Source Files
@@ -156,17 +154,3 @@ protocol:
    git clone "ssh://git@github.com:tgingold/ghdl.git" ghdl
    cd ghdl
    git remote rename origin github
-
-
----------------------------------------------------------------------
-
-.. TODO::
- 
-   * Naming:
-      * branch ghdl-X.Y
-      * tag vX.Y
-   * stable, development, nightly
-   * Regular: ubuntu-mcode and fedora-llvm (both latest default packages).
-   * Distro checking: three distros and three compilers, nine options total. Would you add Debian? Any other?
-   * Dependency version checking: single distro and specific compiler and version pairs. Which ones? LLVM 3.5? LLVM3.9? LLVM 4? GGC 4? GCC 5?
-   * Release: does it make any sense to realease multiple distro versions, if all of them are compiled with the same dependency version? A side observation is that Fedora's release is half the size of Ubuntu's, even though both are compiled with LLVM 3.8. Why?
-\ No newline at end of file