next up previous contents
Next: Changing the configure script Up: Makefile commands Previous: doc directory Makefile commands

Makefile commands for either directory

The following Makefile commands may be issued from either the doc or src directory:


next up previous contents
Next: Changing the configure script Up: Makefile commands Previous: doc directory Makefile commands

Justin Gullingsrud
Tue Apr 6 09:26:48 CDT 1999