From 01a745025dc47ec9dbc2e01933d61897b5409b72 Mon Sep 17 00:00:00 2001 From: Paul Smith Date: Sun, 13 Oct 2013 14:42:23 -0400 Subject: 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. --- doc/.gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/.gitignore') 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 -- cgit v1.2.3