docker/run.sh

   1 #!/bin/sh
   2
   3
   4 echo "Starting documentation server on port 9898"
   5
   6 docker run -d -i -t -p 9898:80 arvados/docserver