home *** CD-ROM | disk | FTP | other *** search
/ Il CD di internet / CD.iso / SOURCE / D / CLISP / CLISPSRC.TAR / clisp-1995-01-01 / src / readline / doc / Makefile < prev    next >
Encoding:
Makefile  |  1994-06-19  |  3.2 KB  |  116 lines
  1. # This file was generated automatically by configure.  Do not edit.
  2. VPATH = .
  3. links = 
  4. host_alias = linux
  5. host_cpu = i386
  6. host_vendor = unknown
  7. host_os = linux
  8. target_alias = linux
  9. target_cpu = i386
  10. target_vendor = unknown
  11. target_os = linux
  12. ALL=all.internal
  13. ## Copyright (C) 1993 Free Software Foundation, Inc.
  14.  
  15. # Makefile for Readline documentation.
  16. # Makefile.in -- changed by Bruno Haible, 19 June 1994
  17.  
  18. # This program is free software; you can redistribute it and/or modify
  19. # it under the terms of the GNU General Public License as published by
  20. # the Free Software Foundation; either version 2 of the License, or
  21. # (at your option) any later version.
  22. # 
  23. # This program is distributed in the hope that it will be useful,
  24. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  25. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  26. # GNU General Public License for more details.
  27. # 
  28. # You should have received a copy of the GNU General Public License
  29. # along with this program; if not, write to the Free Software
  30. # Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  31.  
  32. srcdir = .
  33.  
  34. prefix = /usr/local
  35.  
  36. infodir = $(prefix)/info
  37.  
  38. SHELL = /bin/sh
  39.  
  40. INSTALL = install -c
  41. INSTALL_DATA = $(INSTALL)
  42.  
  43. # where to find texinfo
  44. TEXIDIR=$(srcdir)/../../texinfo
  45.  
  46. # where to find makeinfo, preferably one designed for texinfo-2
  47. MAKEINFO=makeinfo
  48.  
  49. # auxiliary program for sorting Texinfo indices
  50. TEXINDEX=texindex
  51.  
  52. # Don Knuth's TeX formatter
  53. TEX=tex
  54.  
  55. #### Host, target, and site specific Makefile fragments come in here.
  56. ###
  57.  
  58. all: info dvi
  59.  
  60. install: install-info
  61.  
  62. info: history.info readline.info
  63.  
  64. dvi: history.dvi readline.dvi
  65.  
  66. install-info: info
  67.     -parent=`echo $(infodir)|sed -e 's@/[^/]*$$@@'`; \
  68.     if [ -d $$parent ] ; then true ; else mkdir $$parent ; fi
  69.     -if [ -d $(infodir) ] ; then true ; else mkdir $(infodir) ; fi
  70.     for i in *.info* ; do \
  71.         $(INSTALL_DATA) $$i $(infodir)/$$i ; \
  72.     done
  73.  
  74. history.info: hist.texinfo hsuser.texinfo hstech.texinfo
  75.     $(MAKEINFO) -I $(srcdir) -o ./history.info $(srcdir)/hist.texinfo
  76.  
  77. history.dvi: hist.texinfo hsuser.texinfo hstech.texinfo $(TEXIDIR)/texinfo.tex
  78.     TEXINPUTS=${TEXIDIR}:$(srcdir):$$TEXINPUTS $(TEX) hist.texinfo
  79.     $(TEXINDEX) hist.??
  80.     TEXINPUTS=${TEXIDIR}:$(srcdir):$$TEXINPUTS $(TEX) hist.texinfo
  81.  
  82. readline.info: rlman.texinfo rluser.texinfo rltech.texinfo
  83.     $(MAKEINFO) -I $(srcdir) -o ./readline.info $(srcdir)/rlman.texinfo
  84.  
  85. readline.dvi: rlman.texinfo rluser.texinfo rltech.texinfo
  86.     TEXINPUTS=${TEXIDIR}:$(srcdir):$$TEXINPUTS $(TEX) rlman.texinfo
  87.     $(TEXINDEX) rlman.??
  88.     TEXINPUTS=${TEXIDIR}:$(srcdir):$$TEXINPUTS $(TEX) rlman.texinfo
  89.  
  90. rluserman.info: rluserman.texinfo rluser.texinfo
  91.     $(MAKEINFO) -I $(srcdir) -o ./rluserman.info $(srcdir)/rluserman.texinfo
  92.  
  93. rluserman.dvi: rluserman.texinfo rluser.texinfo
  94.     TEXINPUTS=${TEXIDIR}:$(srcdir):$$TEXINPUTS $(TEX) rluserman.texinfo
  95.     $(TEXINDEX) rluserman.??
  96.     TEXINPUTS=${TEXIDIR}:$(srcdir):$$TEXINPUTS $(TEX) rluserman.texinfo
  97.  
  98. distclean: clean
  99.     rm -f Makefile config.status
  100.  
  101. mostlyclean: clean
  102.  
  103. realclean: distclean
  104.  
  105. clean: clean-info clean-dvi
  106.  
  107. clean-info:
  108.     rm -f history.info* readline.info*
  109.  
  110. clean-dvi:
  111.     rm -f hist.?? hist.???
  112.     rm -f rlman.?? rlman.???
  113.  
  114. Makefile: $(srcdir)/Makefile.in $(host_makefile_frag) $(target_makefile_frag)
  115.     $(SHELL) ./config.status
  116.