github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2024-12-28 05:40:10 +08:00
Code Issues Packages Projects Releases Wiki Activity
d4723d643d
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