• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/

Lines Matching refs:ROOTFILE

25 ROOTFILE = internal
27 CHAPTERS = $(ROOTFILE).tex kernel.tex builtins.tex \
38 CHAPAUX = $(ROOTFILE).aux $(ROOTFILE).toc $(ROOTFILE).idx
41 all: $(ROOTFILE).pdf $(ROOTFILE)/$(ROOTFILE).html
43 install: $(DESTDIR)/$(ROOTFILE).pdf $(DESTDIR)/$(ROOTFILE)/$(ROOTFILE).html
46 $(DESTDIR)/$(ROOTFILE).pdf: $(ROOTFILE).pdf
52 $(DESTDIR)/$(ROOTFILE)/$(ROOTFILE).html: $(ROOTFILE)/$(ROOTFILE).html
55 tar cf - $(ROOTFILE) | (cd $(DESTDIR) ; tar xfp - )
56 chmod 755 $(DESTDIR)/$(ROOTFILE)
57 chmod 644 $(DESTDIR)/$(ROOTFILE)/*
61 $(ROOTFILE).dvi: $(CHAPAUX) $(ROOTFILE).bbl $(ROOTFILE).ind
66 latex $(ROOTFILE).tex
72 touch $(ROOTFILE).dvi
79 $(MAKE) $(ROOTFILE).dvi
81 $(ROOTFILE).aux: $(CHAPTERS)
83 latex $(ROOTFILE)
85 $(ROOTFILE).idx: $(ROOTFILE).aux
86 touch $(ROOTFILE).idx
88 $(ROOTFILE).bbl: $(ROOTFILE).aux
89 -bibtex $(ROOTFILE)
91 $(ROOTFILE).ind: $(ROOTFILE).idx
92 -makeindex $(ROOTFILE)
94 $(ROOTFILE).pdf: $(ROOTFILE).ps $(EPSFIGURES)
95 ps2pdf $(ROOTFILE).ps
97 $(ROOTFILE).ps: $(ROOTFILE).dvi $(EPSFIGURES)
98 dvips -Ppdf -t a4 -o $(ROOTFILE).ps $(ROOTFILE)
100 $(ROOTFILE).ps.Z: $(ROOTFILE).ps
101 compress -f $(ROOTFILE).ps
111 #$(ROOTFILE)/$(ROOTFILE).html: $(CHAPTERS)
112 # latex2html $(ROOTFILE)
114 $(ROOTFILE)/$(ROOTFILE).html: $(CHAPTERS)
115 mkdir -p $(ROOTFILE)
116 hevea -fix underscore.hva hyperref.hva url.hva $(ROOTFILE)
117 hacha -tocbis $(ROOTFILE).html
118 # copy the files needed for the html to $(ROOTFILE) directory
119 cp $(ROOTFILE)[0-9]??.* $(ROOTFILE)/
120 cp $(ROOTFILE).css $(ROOTFILE)/
121 cp contents_motif.gif next_motif.gif previous_motif.gif $(ROOTFILE)
122 cp index.html $(ROOTFILE)/$(ROOTFILE).html
123 rm -f $(ROOTFILE)/index.html
124 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
129 rm -f *.hind *.haux *.hind *.htoc $(ROOTFILE).image.*
130 rm -f $(ROOTFILE)[0-9]??.*
131 rm -f $(ROOTFILE).ps $(ROOTFILE).ps.Z $(ROOTFILE).pdf $(ROOTFILE).html
132 rm -rf $(ROOTFILE)