Display both URL and IRI for page info when they differ.
[elpher.git] / elpher.texi
index 406dd8b..3b54a31 100644 (file)
@@ -1,7 +1,7 @@
 \input texinfo @c -*-texinfo-*-
 
 @setfilename elpher.info
-@settitle Elpher Manual v3.1.0
+@settitle Elpher Manual v3.2.2
 
 @dircategory Emacs
 @direntry
@@ -683,6 +683,11 @@ particular their extension.  The current mappings are as follows:
 Plain text documents.  All local text files are assumed to be
 UTF-8-encoded.
 
+@item @samp{gophermap},@samp{gopher}
+
+Gophermap files, i.e. files containing a valid directory list as specified
+by RFC 1436.
+
 @item @samp{gemini},@samp{gmi}
 
 Gemini documents (i.e. documents of MIME type ``text/gemini'').  All
@@ -703,10 +708,6 @@ much that elpher can sensibly do with unknown binary files.)
 
 @end table
 
-Sadly, due to particulars of the format, gophermap files (i.e. files
-containing literally the intended output of querying a directory
-selector according to RFC 1436) cannot be rendered using @samp{file:}.
-
 
 @node About pages, Customization, Local files, Top
 @chapter About pages
@@ -739,13 +740,13 @@ to display buffer headers, how to deal with ANSI escape sequences in
 text, the timeout to impose on network connections, and whether to
 prompt for confirmation when switching away from TLS.
 
-One particularly important customization is the @code{elpher-start-page}
+One particularly important customization is the @code{elpher-start-page-url}
 variable, which holds the URL of the page displayed initially when
 elpher starts, and when @key{U} is pressed.  By default this is set to
 @samp{about:welcome}, but any URL can be substituted.  For example, you
 might want to create a text/gemini file named
 @samp{~/.emacs/start-page.gmi} containing useful links and set the value
-of @code{elpher-start-page} to @samp{file:~/.emacs/start-page.gmi} to have
+of @code{elpher-start-page-url} to @samp{file:~/.emacs/start-page.gmi} to have
 these links displayed at startup.  Alternatively, you might prefer
 to set the value to @samp{about:bookmarks} so that the bookmarks page
 is used as the start page instead.
@@ -783,7 +784,7 @@ for details.
 
 @subsection Customizable start pages
 
-The new customization variable @code{elpher-start-page} contains the URL
+The new customization variable @code{elpher-start-page-url} contains the URL
 of the document to be loaded as elpher's ``start page''.  By default
 this is set to @samp{about:welcome}, but any elpher-accessible URL is
 valid. @pxref{Customization} for suggestions.