htx: Correct PostScript names in hardcopy server.

Starlink · Jun 20, 2014 · 41dfb76 · 41dfb76
1 parent fde44f4
commit 41dfb76
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/applications/htx/server/hcserver b/applications/htx/server/hcserver
@@ -42,8 +42,8 @@ HTX_PATH='/star/docs:/star/help'
 #
 #        if you do not specify HTX_PATH explicitly above.
 #
-      HTX_TYPES='PDF=pdf:Postscript=ps:DVI=dvi:Text=lis:Text=txt:Latex=tex:Runoff=rno'
-#     HTX_TYPES='Postscript=ps:Text=txt'
+      HTX_TYPES='PDF=pdf:PostScript=ps:DVI=dvi:Text=lis:Text=txt:Latex=tex:Runoff=rno'
+#     HTX_TYPES='PostScript=ps:Text=txt'
 #        Edit and un-comment the line above to contain a colon-separated list
 #        of file type specifications to use when searching for hard-copy files.
 #        Each element of the list should be of the form:
@@ -57,7 +57,7 @@ HTX_PATH='/star/docs:/star/help'
 #        found will be selected as the default. The default value used for
 #        HTX_TYPES is:
 #
-#           "PDF=pdf:Postscript=ps:Text=txt"
+#           "PDF=pdf:PostScript=ps:Text=txt"
 #
 #        if you do not specify it explicitly above.
 #
@@ -139,7 +139,7 @@ HTX_PATH='/star/docs:/star/help'
       HTX_PATH="${HTX_PATH:-/web/star/docs:/web/star/help}"
 
 #  Supply a default value for HTX_TYPES if necessary.
-      HTX_TYPES="${HTX_TYPES:-PDF=pdf:Postscript=ps:Text=txt:Dvi=dvi}"
+      HTX_TYPES="${HTX_TYPES:-PDF=pdf:PostScript=ps:Text=txt:Dvi=dvi}"
 
 #  If no support person has been specified and this script is running on the
 #  Starlink WWW server at RAL, then provide a suitable default.