Minor change to regex; allow .txt too.

www/doc/docwrapper.php3

@@ -30,7 +30,7 @@ if (!$printable) {
 #
 # Need to sanity check the path! Allow only [word].{html,txt} files
 #
-if (!preg_match("/^[\w-]+\.(html|txt)$/", $docname)) {
+if (!preg_match("/^[-\w]+\.(html|txt)$/", $docname)) {
     USERERROR("Illegal document name: $docname!", 1);
 }
 

www/docwrapper.php3

@@ -28,7 +28,7 @@ if (!$printable) {
 #
 # Need to sanity check the path! Allow only [word].html files
 #
-if (!preg_match("/^[\w-]+\.html$/", $docname)) {
+if (!preg_match("/^[-\w]+\.(html|txt)$/", $docname)) {
     USERERROR("Illegal document name: $docname!", 1);
 }
 

www/tutorial/docwrapper.php3

@@ -30,7 +30,7 @@ if (!$printable) {
 #
 # Need to sanity check the path! Allow only [word].html files
 #
-if (!preg_match("/^[\w-]+\.html$/", $docname)) {
+if (!preg_match("/^[-\w]+\.(html|txt)$/", $docname)) {
     USERERROR("Illegal document name: $docname!", 1);
 }