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 | a66bf2d736f4e7a09f8528b5a06a7125688d6a2d (patch) | |
| tree | 3a023f53af0986fa8f5c014d7ec03ac8d8089ff4 /README.git | |
| parent | 31c2024b2e269d96a49562e3b3b3c501c5088b9f (diff) | |
| download | gunmake-a66bf2d736f4e7a09f8528b5a06a7125688d6a2d.tar.gz | |
GNU Make release 4.1.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 |