annotate doc/interpreter/Makefile.in @ 152:1a53b99f7f28

[project @ 1993-10-10 19:36:32 by jwe] Initial revision
author jwe
date Sun, 10 Oct 1993 19:36:32 +0000
parents
children 76fa9345e0dc
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
1 #
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
2 # Makefile for octave's doc directory
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
3 #
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
4 # John W. Eaton
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
5 # jwe@che.utexas.edu
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
6 # Department of Chemical Engineering
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
7 # The University of Texas at Austin
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
8
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
9 TOPDIR = ..
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
10
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
11 srcdir = @srcdir@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
12 VPATH = @srcdir@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
13
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
14 include $(TOPDIR)/Makeconf
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
15
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
16 SOURCES =
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
17
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
18 TEXINFO = ack.texi amuse.texi arith.texi bugs.texi bugs1.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
19 control.texi cp-idx.texi diffeq.texi expr.texi extend.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
20 fcn.texi fn-idx.texi gpl.texi help.texi history.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
21 hsuser.texi install.texi install1.texi intro.texi invoke.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
22 io.texi linalg.texi matrix.texi nonlin.texi octave.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
23 optim.texi plot.texi program.texi quad.texi rluser.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
24 signal.texi special.texi stats.texi stmt.texi strings.texi \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
25 system.texi using.texi var.texi vr-idx.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
26
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
27 FORMATTED = octave.dvi octave.ps octave.info-[0-9]*
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
28
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
29 DISTFILES = Makefile.in $(TEXINFO) $(FORMATTED) texinfo.tex
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
30
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
31 SPELL = $(patsubst %.texi, %.spell, $(TEXINFO))
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
32
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
33 %.spell : %.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
34 rm -f $@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
35 sed -e 's/@@/ at /g' -e 's/@[a-zA-Z]*//g' $< | spell > $@.tmp
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
36 mv $@.tmp $@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
37
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
38 all: octave.info octave.dvi octave.ps
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
39 .PHONY: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
40
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
41 octave.info: $(TEXINFO)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
42 -makeinfo -I$(srcdir) octave.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
43
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
44 octave.dvi: $(TEXINFO)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
45 texi2dvi $(srcdir)/octave.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
46
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
47 octave.ps: octave.dvi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
48 dvips -o octave.ps octave.dvi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
49
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
50 ../INSTALL.OCTAVE: install1.texi install.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
51 -makeinfo --no-header -I$(srcdir)/doc install1.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
52 -mv INSTALL ../INSTALL.OCTAVE
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
53
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
54 ../BUGS: bugs1.texi bugs.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
55 -makeinfo --no-header -I$(srcdir)/doc bugs1.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
56 -mv BUGS ../BUGS
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
57
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
58 check: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
59 .PHONY: check
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
60
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
61 install: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
62 if test -d $(infodir) ; then true ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
63 else $(TOPDIR)/mkpath $(infodir) ; fi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
64 if test -d $(infodir) ; then \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
65 rm -f $(infodir)/octave.info* ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
66 if test -f octave.info ; then \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
67 for f in octave.info* ; do \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
68 $(INSTALL_DATA) $$f $(infodir)/$$f ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
69 done ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
70 else \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
71 for f in $(srcdir)/octave.info* ; do \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
72 $(INSTALL_DATA) $$f $(infodir)/`basename $$f` ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
73 done ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
74 fi ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
75 fi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
76 .PHONY: install
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
77
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
78 uninstall:
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
79 rm -f $(infodir)/octave.info*
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
80 .PHONY: uninstall
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
81
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
82 tags: $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
83 ctags $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
84
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
85 TAGS: $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
86 etags $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
87
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
88 spell: $(SPELL)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
89 .PHONY: spell
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
90
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
91 clean:
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
92 rm -f *.info *.info-* octave.cp octave.fn octave.ky \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
93 octave.pg octave.tp octave.vr octave.aux octave.log \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
94 octave.toc octave.dvi octave.ps
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
95 .PHONY: clean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
96
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
97 mostlyclean:
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
98 rm -f *.info *.info-*
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
99 .PHONY: mostlyclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
100
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
101 distclean: clean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
102 rm -f Makefile
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
103 .PHONY: distclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
104
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
105 realclean: distclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
106 rm -f tags TAGS
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
107 .PHONY: realclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
108
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
109 local-dist: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
110 ln $(DISTFILES) ../`cat ../.fname`/doc
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
111 .PHONY: local-dist
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
112
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
113 dist: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
114 ln $(DISTFILES) ../`cat ../.fname`/doc
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
115 .PHONY: dist
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
116
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
117 doc-dist: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
118 ln $(FORMATTED) ../`cat ../.fname`/doc
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
119 .PHONY: doc-dist