add docker build to docs menu
@@ -22,8 +22,10 @@ Elpis is a tool which language workers with minimal computational experience can
:caption: For developers
wiki/viewing-elpis-training-log-file
+ wiki/docker-build
wiki/docker-commands
wiki/elpis-cli
wiki/elpis-dev-recipe
+ wiki/elpis-dev-recipe
api
