home *** CD-ROM | disk | FTP | other *** search
/ PC Extra Super CD 1998 January / PCPLUS131.iso / DJGPP / V2 / DJLSR201.ZIP / src / libc / makefile < prev    next >
Encoding:
Makefile  |  1995-08-27  |  554 b   |  28 lines
  1. # Copyright (C) 1995 DJ Delorie, see COPYING.DJ for details
  2. # Note that makefile.oi, makefile.rf, and ar.in are normally *generated* but
  3. # they are included in the source distribution to ease cross-compiling.
  4.  
  5. TOP=.
  6.  
  7. LIBNAME=c
  8.  
  9. include $(TOP)/../makefile.lib
  10.  
  11. .PHONY: all info tex texinfo doc libc2.tex
  12.  
  13. MKDOC = ../../bin/mkdoc
  14.  
  15. all : info
  16.  
  17. libc2.tex :
  18.     $(MKDOC) . libc2.tex
  19.  
  20. info doc : libc.tex libc2.tex
  21.     makeinfo --no-split libc.tex
  22.  
  23. dvi : libc.tex libc2.tex
  24.     texi2dvi libc.tex
  25.  
  26. ps : libc.tex libc2.tex
  27.     texi2ps -v libc.tex
  28.