next up previous contents
Next: src directory Makefile commands Up: Using the Configure Script Previous: Note for RCS users:

Makefile commands

Once the Makefile has been created by running the configure script, several useful Makefile commands are available. A copy of the same Makefile is placed in the doc and src directories, however, the following Makefile commands are useful only in the proper directories. The commands are categorized by where they may be issued, src directory, doc directory, or either directory.





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