next up previous
Next: About this document ... Up: gbt_doc_guide Previous: Creating a New Document

Processing the Document

N.B. If someone (Joe?) would like to write a make file, then we could just do:

$ make document

wouldn't that be nice? In the meantime:


next up previous
Next: About this document ... Up: gbt_doc_guide Previous: Creating a New Document
Bob Garwood
2012-01-27