commit | 01a745025dc47ec9dbc2e01933d61897b5409b72 | [log] [tgz] |
---|---|---|
author | Paul Smith <psmith@gnu.org> | Sun Oct 13 14:42:23 2013 -0400 |
committer | Paul Smith <psmith@gnu.org> | Sun Oct 13 16:48:22 2013 -0400 |
tree | 2cde923c0aff32c1a6783adf54bd42927755dbd2 | |
parent | 4792e154b68005f85ea0e63c6724a8c8751ece23 [diff] |
Add support for updating the GNU make web pages. Add makefile rules for updating the http://www.gnu.org/software/make web pages, including the online GNU make manual.