home *** CD-ROM | disk | FTP | other *** search
/ The World of Computer Software / World_Of_Computer_Software-02-385-Vol-1of3.iso / c / condor40.zip / CONDOR / doc / tech / Makefile < prev    next >
Makefile  |  1989-10-16  |  2KB  |  47 lines
  1. # 
  2. # Copyright 1986, 1987, 1988, 1989 University of Wisconsin
  3. # 
  4. # Permission to use, copy, modify, and distribute this software and its
  5. # documentation for any purpose and without fee is hereby granted,
  6. # provided that the above copyright notice appear in all copies and that
  7. # both that copyright notice and this permission notice appear in
  8. # supporting documentation, and that the name of the University of
  9. # Wisconsin not be used in advertising or publicity pertaining to
  10. # distribution of the software without specific, written prior
  11. # permission.  The University of Wisconsin makes no representations about
  12. # the suitability of this software for any purpose.  It is provided "as
  13. # is" without express or implied warranty.
  14. # 
  15. # THE UNIVERSITY OF WISCONSIN DISCLAIMS ALL WARRANTIES WITH REGARD TO
  16. # THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
  17. # FITNESS. IN NO EVENT SHALL THE UNIVERSITY OF WISCONSIN  BE LIABLE FOR
  18. # ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  19. # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  20. # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  21. # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  22. # 
  23. # Authors:  Allan Bricker and Michael J. Litzkow,
  24. #              University of Wisconsin, Computer Sciences Dept.
  25. # 
  26.  
  27. SRC =    01_syscall_review.grn \
  28.         02_syscall_remote.grn \
  29.         03_checkpoint.grn \
  30.         04_control_A.grn \
  31.         05_control_B.grn \
  32.         06_control_C.grn \
  33.         tech.me
  34.  
  35. #
  36. # Save the ".grn" file for folks who don't have gremlin.
  37. #
  38. tech.grn: $(SRC)
  39.     grn -P3a tech.me > tech.grn
  40.  
  41. tech.proof: tech.grn
  42.     tbl tech.grn | ditroff -P3a -me -t > tech.xpr
  43.     xproof tech.xpr
  44.  
  45. tech.print: tech.grn
  46.     tbl tech.grn | ditroff -P3a -me
  47.