# HG changeset patch
# User John "Elwin" Edwards
# Date 1454379612 18000
# Node ID 34e1bc4fd6b29d93602e8cb3e52594ffbd97b5a2
# Parent  ea28353d620a9112c17278618db8a6b758fe50b9
Some fixes to the documentation.

diff -r ea28353d620a -r 34e1bc4fd6b2 README.txt
--- a/README.txt	Thu Jan 28 21:17:06 2016 -0500
+++ b/README.txt	Mon Feb 01 21:20:12 2016 -0500
@@ -22,10 +22,17 @@
 
 Configuration
 ---
-You can change the location of the chroot, the name of the dgamelaunch
-user, and the port number by editing the first few lines of the rlgwebd
-script.  If you change the chroot location, change it in the Makefile
-too.
+You can set some options by changing some variables in the first few
+lines of the rlgwebd script:
+
+Option		Variable	Default
+
+Chroot path	chrootDir	/var/dgl
+Username	dropToUser	rodney
+Server port	httpPort	8080
+
+If you change the chroot location, change it in the first line of the 
+Makefile too.
 
 Installation
 ---
@@ -71,6 +78,10 @@
 
 webtty
 ---
-webtty.js is a Node app which uses the terminal emulator to run a shell.  It
+"webtty" is a Node app which uses the terminal emulator to run a shell.  It
 includes NO SECURITY WHATSOEVER and should only be used for testing the 
 terminal emulator.  Copy index-sh.html to index.html before running it.
+
+Copyright status
+---
+All files in this project are in the public domain.