diff options
author | Paul Smith <psmith@gnu.org> | 2014-10-05 12:18:08 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2014-10-05 12:18:08 -0400 |
commit | f391fd39b1738d365e5748540688034101d11a7a (patch) | |
tree | 3a023f53af0986fa8f5c014d7ec03ac8d8089ff4 /README.git | |
parent | 5dc9021b80a947ca82f55d63b814d45c97beb935 (diff) | |
download | make-f391fd39b1738d365e5748540688034101d11a7a.tar.gz |
GNU Make release 4.1.
Diffstat (limited to 'README.git')
-rw-r--r-- | README.git | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -171,8 +171,11 @@ consistent (that's why we don't finalize the Git tag, etc. until the end). "Fixed Release" ID number. * Run "make distcheck" to be sure it all works. * Run "make check-alt-config" to be sure alternative configurations work - * Run "make update-www" to get a copy of the GNU make web pages - * Update the web page boilerplate if necessary + * Run "make update-makeweb" to get a copy of the GNU make web pages + * Run "make update-gnuweb" to get a copy of the GNU website boilerplate pages + * Update the web page boilerplate if necessary: + ../gnu-www/www/server/standards/patch-from-parent ../make-web/make.html \ + ../gnu-www/www/server/standards/boilerplate.html * Run "make gendocs" (requires gnulib) to generate the manual files for the GNU make web pages. * Follow the directions from gendocs for the web page repository |