diff options
| author | Paul Smith <psmith@gnu.org> | 2013-10-13 14:42:23 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-10-13 16:48:22 -0400 |
| commit | 01a745025dc47ec9dbc2e01933d61897b5409b72 (patch) | |
| tree | 2cde923c0aff32c1a6783adf54bd42927755dbd2 /doc | |
| parent | 4792e154b68005f85ea0e63c6724a8c8751ece23 (diff) | |
| download | make-01a745025dc47ec9dbc2e01933d61897b5409b72.tar.gz | |
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.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 230ef46..ca68d2d 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,3 +1,5 @@ +manual/ +gendocs_template fdl.texi make-stds.texi stamp-vti |