From bd1711019994bde5a35564d0072725648abad8ba Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Fri, 10 Jan 2020 14:04:57 +1000
Subject: [PATCH] docker: Add installation instructions.

---
 README.md      | 16 ++++++++++++----
 make-readme.py | 16 ++++++++++++----
 2 files changed, 24 insertions(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 2ca2d33..e5b8c42 100644
--- a/README.md
+++ b/README.md
@@ -1,12 +1,12 @@
 # Eris Codebase Monitor
 
-### Summary
+## Summary
 
 Eris maintains an up-to-date set of reports for every file in a codebase.
 
-### Installation
+## Installation
 
-(Tested in Ubuntu 19.10)
+### Ubuntu (19.10)
 
     # git clone https://github.com/ahamilton/eris
     # cd eris
@@ -21,7 +21,15 @@ then to run:
 
     # eris <directory_path>
 
-### Tools
+### Docker
+
+    # git clone https://github.com/ahamilton/eris
+    # cd eris
+    # sudo docker build -t eris .
+    # mv eris-docker ~/bin
+    # eris-docker -h
+
+## Tools
 
 Extensions(98) | Tools(60)
 ----------:| -----
diff --git a/make-readme.py b/make-readme.py
index 423dec3..303dadf 100755
--- a/make-readme.py
+++ b/make-readme.py
@@ -25,13 +25,13 @@ def main():
     print(f"""\
 # Eris Codebase Monitor
 
-### Summary
+## Summary
 
 Eris maintains an up-to-date set of reports for every file in a codebase.
 
-### Installation
+## Installation
 
-(Tested in Ubuntu 19.10)
+### Ubuntu (19.10)
 
     # git clone https://github.com/ahamilton/eris
     # cd eris
@@ -46,7 +46,15 @@ then to run:
 
     # eris <directory_path>
 
-### Tools
+### Docker
+
+    # git clone https://github.com/ahamilton/eris
+    # cd eris
+    # sudo docker build -t eris .
+    # mv eris-docker ~/bin
+    # eris-docker -h
+
+## Tools
 
 Extensions({len(extension_set)-1}) | Tools({len(tool_set)})
 ----------:| -----""")