--- wget-1.10/doc/wget.texi.rhpath 2005-07-04 14:51:28.000000000 +0200 +++ wget-1.10/doc/wget.texi 2005-07-04 14:59:44.000000000 +0200 @@ -204,12 +204,12 @@ Most of the features are fully configurable, either through command line options, or via the initialization file @file{.wgetrc} (@pxref{Startup File}). Wget allows you to define @dfn{global} startup files -(@file{/usr/local/etc/wgetrc} by default) for site settings. +(@file{/etc/wgetrc} by default) for site settings. @ignore @c man begin FILES @table @samp -@item /usr/local/etc/wgetrc +@item /etc/wgetrc Default location of the @dfn{global} startup file. @item .wgetrc @@ -2411,9 +2411,7 @@ @cindex location of wgetrc When initializing, Wget will look for a @dfn{global} startup file, -@file{/usr/local/etc/wgetrc} by default (or some prefix other than -@file{/usr/local}, if Wget was not installed there) and read commands -from there, if it exists. +@file{/etc/wgetrc} and read commands from there, if it exists. Then it will look for the user's file. If the environmental variable @code{WGETRC} is set, Wget will try to load that file. Failing that, no @@ -2423,7 +2421,7 @@ The fact that user's settings are loaded after the system-wide ones means that in case of collision user's wgetrc @emph{overrides} the -system-wide wgetrc (in @file{/usr/local/etc/wgetrc} by default). +system-wide wgetrc (in @file{/etc/wgetrc} by default). Fascist admins, away! @node Wgetrc Syntax --- wget-1.10/README.rhpath 2005-07-04 14:55:43.000000000 +0200 +++ wget-1.10/README 2005-07-04 14:56:43.000000000 +0200 @@ -33,7 +33,7 @@ Most of the features are configurable, either through command-line options, or via initialization file .wgetrc. Wget allows you to -install a global startup file (/usr/local/etc/wgetrc by default) for +install a global startup file (/etc/wgetrc by default) for site settings. Wget works under almost all Unix variants in use today and, unlike --- wget-1.10/doc/sample.wgetrc.munged_for_texi_inclusion.rhpath 2005-07-04 14:53:58.000000000 +0200 +++ wget-1.10/doc/sample.wgetrc.munged_for_texi_inclusion 2005-07-04 14:54:14.000000000 +0200 @@ -7,7 +7,7 @@ ## not contain a comprehensive list of commands -- look at the manual ## to find out what you can put into this file. ## -## Wget initialization file can reside in /usr/local/etc/wgetrc +## Wget initialization file can reside in /etc/wgetrc ## (global, for all users) or $HOME/.wgetrc (for a single user). ## ## To use the settings in this file, you will have to uncomment them, @@ -16,7 +16,7 @@ ## -## Global settings (useful for setting up in /usr/local/etc/wgetrc). +## Global settings (useful for setting up in /etc/wgetrc). ## Think well before you change them, since they may reduce wget's ## functionality, and make it behave contrary to the documentation: ## --- wget-1.10/doc/sample.wgetrc.rhpath 2005-07-04 14:53:22.000000000 +0200 +++ wget-1.10/doc/sample.wgetrc 2005-07-04 14:53:42.000000000 +0200 @@ -7,7 +7,7 @@ ## not contain a comprehensive list of commands -- look at the manual ## to find out what you can put into this file. ## -## Wget initialization file can reside in /usr/local/etc/wgetrc +## Wget initialization file can reside in /etc/wgetrc ## (global, for all users) or $HOME/.wgetrc (for a single user). ## ## To use the settings in this file, you will have to uncomment them, @@ -16,7 +16,7 @@ ## -## Global settings (useful for setting up in /usr/local/etc/wgetrc). +## Global settings (useful for setting up in /etc/wgetrc). ## Think well before you change them, since they may reduce wget's ## functionality, and make it behave contrary to the documentation: ## --- wget-1.10/doc/wget.info.rhpath 2005-07-04 14:48:44.000000000 +0200 +++ wget-1.10/doc/wget.info 2005-07-04 14:50:51.000000000 +0200 @@ -121,7 +121,7 @@ * Most of the features are fully configurable, either through command line options, or via the initialization file `.wgetrc' (*note Startup File::). Wget allows you to define "global" - startup files (`/usr/local/etc/wgetrc' by default) for site + startup files (`/etc/wgetrc' by default) for site settings. @@ -2116,9 +2116,7 @@ =================== When initializing, Wget will look for a "global" startup file, -`/usr/local/etc/wgetrc' by default (or some prefix other than -`/usr/local', if Wget was not installed there) and read commands from -there, if it exists. +`/etc/wgetrc' by default and read commands from there, if it exists. Then it will look for the user's file. If the environmental variable `WGETRC' is set, Wget will try to load that file. Failing that, no @@ -2128,7 +2126,7 @@ The fact that user's settings are loaded after the system-wide ones means that in case of collision user's wgetrc _overrides_ the -system-wide wgetrc (in `/usr/local/etc/wgetrc' by default). Fascist +system-wide wgetrc (in `/etc/wgetrc' by default). Fascist admins, away!  @@ -2593,7 +2591,7 @@ ## not contain a comprehensive list of commands -- look at the manual ## to find out what you can put into this file. ## - ## Wget initialization file can reside in /usr/local/etc/wgetrc + ## Wget initialization file can reside in /etc/wgetrc ## (global, for all users) or $HOME/.wgetrc (for a single user). ## ## To use the settings in this file, you will have to uncomment them, @@ -2602,7 +2600,7 @@ ## - ## Global settings (useful for setting up in /usr/local/etc/wgetrc). + ## Global settings (useful for setting up in /etc/wgetrc). ## Think well before you change them, since they may reduce wget's ## functionality, and make it behave contrary to the documentation: ##