On Wed, 01 Aug 2012 Micah Cowan <[email protected]> wrote:
>If you want to add a patch that changes the way the manpage is 
>generated from the info page, so that the information is included,
>I imagine that might be welcomed.

Hi.

I've made changes to wget.texi such that an ENVIRONMENT
section gets extracted into wget.1. texi2pod.pl is prepared
for ENVIRONMENT so no changes were needed there.

I also changed the table item formatting in that section
(Various->Proxies) from @code to @env to ensure harmony
between manpage and info/pdf/ps/dvi rendering (note:
info/pdf/ps/dvi output is unchanged). This probably should
have been @env anyways.

The patch applies cleanly to 1.13.4.

Thanks,
mancha
--- a/doc/wget.texi		2012-08-01
+++ b/doc/wget.texi		2012-08-02
@@ -3526,28 +3526,30 @@
 information from the Web, their users connect and retrieve remote data
 using an authorized proxy.
 
+@c man begin ENVIRONMENT
 Wget supports proxies for both @sc{http} and @sc{ftp} retrievals.  The
 standard way to specify proxy location, which Wget recognizes, is using
 the following environment variables:
 
-@table @code
+@table @env
 @item http_proxy
 @itemx https_proxy
-If set, the @code{http_proxy} and @code{https_proxy} variables should
+If set, the @env{http_proxy} and @env{https_proxy} variables should
 contain the @sc{url}s of the proxies for @sc{http} and @sc{https}
 connections respectively.
 
 @item ftp_proxy
 This variable should contain the @sc{url} of the proxy for @sc{ftp}
-connections.  It is quite common that @code{http_proxy} and
-@code{ftp_proxy} are set to the same @sc{url}.
+connections.  It is quite common that @env{http_proxy} and
+@env{ftp_proxy} are set to the same @sc{url}.
 
 @item no_proxy
 This variable should contain a comma-separated list of domain extensions
 proxy should @emph{not} be used for.  For instance, if the value of
-@code{no_proxy} is @samp{.mit.edu}, proxy will not be used to retrieve
+@env{no_proxy} is @samp{.mit.edu}, proxy will not be used to retrieve
 documents from MIT.
 @end table
+@c man end
 
 In addition to the environment variables, proxy location and settings
 may be specified from within Wget itself.

Reply via email to