mirror of
https://github.com/mirror/make.git
synced 2024-12-31 07:20:14 +08:00
01a745025d
Add makefile rules for updating the http://www.gnu.org/software/make web pages, including the online GNU make manual.
23 lines
213 B
Plaintext
23 lines
213 B
Plaintext
manual/
|
|
gendocs_template
|
|
fdl.texi
|
|
make-stds.texi
|
|
stamp-vti
|
|
version.texi
|
|
make.info*
|
|
make*.html
|
|
make.aux
|
|
make.cp
|
|
make.cps
|
|
make.dvi
|
|
make.fn
|
|
make.fns
|
|
make.ky
|
|
make.log
|
|
make.pdf
|
|
make.pg
|
|
make.ps
|
|
make.toc
|
|
make.tp
|
|
make.vr
|