casa-mp-base

--- NEWS.orig   2017-10-26 10:29:37.000000000 -0500

+++ NEWS    2017-10-26 23:05:23.000000000 -0500

@@ -893,7 +893,7 @@

 ** Compiles on pre-ANSI compilers.

-** Global wgetrc now goes to /usr/local/etc (i.e. $sysconfdir).

+** Global wgetrc now goes to @PREFIX@/etc (i.e. $sysconfdir).

 ** Lots of bugfixes.

@@ -956,9 +956,8 @@

 ** Fixed a long-standing bug, so that Wget now works over SLIP

 connections.

-** You can have a system-wide wgetrc (/usr/local/lib/wgetrc by

-default). Settings in $HOME/.wgetrc override the global ones, of

-course :-)

+** You can have a system-wide wgetrc (@PREFIX@/lib/wgetrc). Settings

+in $HOME/.wgetrc override the global ones, of course :-)

 ** You can set up quota in .wgetrc to prevent sucking too much

 data. Try `quota = 5M' in .wgetrc (or quota = 100K if you want your

--- README.orig 2015-11-09 09:24:06.000000000 -0600

+++ README  2015-11-16 11:05:27.000000000 -0600

@@ -33,8 +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

-site settings.

+install a global startup file (@PREFIX@/etc/wgetrc) for site settings.

 Wget works under almost all Unix variants in use today and, unlike

 many of its historical predecessors, is written entirely in C, thus

--- doc/sample.wgetrc.orig  2015-11-09 09:24:06.000000000 -0600

+++ doc/sample.wgetrc   2015-11-16 11:05:27.000000000 -0600

@@ -10,7 +10,7 @@

 ## Or online here:

 ##   https://www.gnu.org/software/wget/manual/wget.html#Startup-File

 ##

-## Wget initialization file can reside in /usr/local/etc/wgetrc

+## Wget initialization file can reside in @PREFIX@/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,

@@ -22,7 +22,7 @@

 ##

-## Global settings (useful for setting up in /usr/local/etc/wgetrc).

+## Global settings (useful for setting up in @PREFIX@/etc/wgetrc).

 ## Think well before you change them, since they may reduce wget's

 ## functionality, and make it behave contrary to the documentation:

 ##

--- doc/wget.texi.orig  2017-10-26 10:29:37.000000000 -0500

+++ doc/wget.texi   2017-10-26 23:06:00.000000000 -0500

@@ -191,7 +191,7 @@

 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. You can also

+(@file{@PREFIX@/etc/wgetrc} by default) for site settings. You can also