github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2026-09-02 04:38:12 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
99385ee6f79f779c3d841df11d19300353983cba
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