github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2026-08-31 03:38:03 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
e498e464dc75423b8ac9979f828851b0c785c296
make/doc
History
Paul Smith 01a745025d 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.
2013-10-13 16:48:22 -04:00
..
.gitignore
Add support for updating the GNU make web pages.
2013-10-13 16:48:22 -04:00
make.texi
Sanitize the registered function interface.
2013-10-05 16:10:30 -04:00
Makefile.am
Convert to auto-generated ChangeLog files.
2013-10-13 16:48:22 -04:00