home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / program / szadb1_4 / makefile < prev    next >
Encoding:
Makefile  |  1993-10-23  |  705 b   |  28 lines
  1. #
  2. # makefile for primer.dvi
  3. # check comments in primer.tex if you are going to run dvi file
  4. # through dvi2tty
  5. #
  6.  
  7. TEXFILES= verblist.sty primer.tex firsteps.tex running.tex debug.tex \
  8.       topics.tex   
  9. EXAMPLES= bcktrace.exm firstdis.exm jumptwo.exm maindis.exm symbols.exm \
  10.       dump.exm jumpone.exm kdefs.exm reptdis.exm tabs.exm     
  11. CSOURCE = unexpand.c
  12. NAME=primer
  13. ARCH=zoo.ttp
  14.  
  15. $(NAME).dvi: $(TEXFILES) $(EXAMPLES) $(CSOURCE)
  16.     latex $(NAME).tex
  17.     latex $(NAME).tex
  18.  
  19. arch: $(TEXFILES) $(EXAMPLES) $(CSOURCE)
  20.     $(ARCH) u $(NAME) $(TEXFILES) $(CSOURCE) makefile
  21.     $(ARCH) u $(NAME) $(EXAMPLES)
  22.  
  23. clean:
  24.     $(RM) $(NAME).aux $(NAME).log $(NAME).toc
  25.  
  26. clobber: clean
  27.     $(RM) $(NAME).dvi
  28.