annotate doc/interpreter/Makefile.in @ 3069:db6d57d718f7

[project @ 1997-07-10 23:34:03 by jwe]
author jwe
date Thu, 10 Jul 1997 23:34:07 +0000
parents 6d56646a2d1f
children fccab8e7d35f
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 #
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
2 # Makefile for octave's doc/interpreter directory
152
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
1452
2eb569ed50bf [project @ 1995-09-20 04:23:34 by jwe]
jwe
parents: 1439
diff changeset
5 # jwe@bevo.che.wisc.edu
2eb569ed50bf [project @ 1995-09-20 04:23:34 by jwe]
jwe
parents: 1439
diff changeset
6 # University of Wisconsin-Madison
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
7 # Department of Chemical Engineering
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
8
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
9 TOPDIR = ../..
152
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@
411
b936220a35cf [project @ 1994-04-20 07:59:48 by jwe]
jwe
parents: 393
diff changeset
12 top_srcdir = @top_srcdir@
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
13 VPATH = @srcdir@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
14
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
15 include $(TOPDIR)/Makeconf
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
16
651
b4692246e165 [project @ 1994-08-25 04:14:15 by jwe]
jwe
parents: 551
diff changeset
17 INSTALL = @INSTALL@
b4692246e165 [project @ 1994-08-25 04:14:15 by jwe]
jwe
parents: 551
diff changeset
18 INSTALL_PROGRAM = @INSTALL_PROGRAM@
b4692246e165 [project @ 1994-08-25 04:14:15 by jwe]
jwe
parents: 551
diff changeset
19 INSTALL_DATA = @INSTALL_DATA@
b4692246e165 [project @ 1994-08-25 04:14:15 by jwe]
jwe
parents: 551
diff changeset
20
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
21 SOURCES =
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
22
2670
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
23 TEXINFO = arith.texi audio.texi basics.texi bugs.texi control.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
24 cp-idx.texi data.texi diffeq.texi emacs.texi errors.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
25 eval.texi expr.texi fn-idx.texi func.texi gpl.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
26 grammar.texi image.texi install.texi intro.texi io.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
27 linalg.texi matrix.texi nonlin.texi numbers.texi octave.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
28 op-idx.texi optim.texi plot.texi poly.texi preface.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
29 quad.texi set.texi signal.texi stats.texi stmt.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
30 strings.texi struct.texi system.texi tips.texi var.texi \
18192eea4973 [project @ 1997-02-13 18:29:53 by jwe]
jwe
parents: 2653
diff changeset
31 vr-idx.texi
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
32
2698
a6e4de502512 [project @ 1997-02-18 18:03:28 by jwe]
jwe
parents: 2689
diff changeset
33 FORMATTED = octave.dvi octave.ps octave.info octave.info-[0-9]*
328
48e783fa1a47 [project @ 1994-02-04 04:19:15 by jwe]
jwe
parents: 311
diff changeset
34
2701
cd5f72e530e2 [project @ 1997-02-19 19:15:40 by jwe]
jwe
parents: 2698
diff changeset
35 DISTFILES = Makefile.in dir octave.1 $(TEXINFO) $(FORMATTED)
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
36
2624
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
37 ifeq ($(wildcard octave.info), )
3069
db6d57d718f7 [project @ 1997-07-10 23:34:03 by jwe]
jwe
parents: 3028
diff changeset
38 BINDISTFILES = $(addprefix $(srcdir)/, octave.1 $(FORMATTED))
2624
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
39 else
3069
db6d57d718f7 [project @ 1997-07-10 23:34:03 by jwe]
jwe
parents: 3028
diff changeset
40 BINDISTFILES = $(srcdir)/octave.1 $(FORMATTED)
2624
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
41 endif
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
42
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
43 # Look for version.h to get version information.
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
44 xfiles := $(TOPDIR)/src/version.h $(srcdir)/$(TOPDIR)/src/version.h
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
45
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
46 version_file := $(firstword $(foreach file, $(xfiles), $(wildcard $(file))))
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
47
2689
8c7955a8d49f [project @ 1997-02-18 09:06:10 by jwe]
jwe
parents: 2688
diff changeset
48 SPELL = $(patsubst %.texi, %.spell, $(TEXINFO))
152
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 %.spell : %.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
51 rm -f $@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
52 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
53 mv $@.tmp $@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
54
2701
cd5f72e530e2 [project @ 1997-02-19 19:15:40 by jwe]
jwe
parents: 2698
diff changeset
55 all: octave.info octave.dvi octave.ps
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
56 .PHONY: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
57
2701
cd5f72e530e2 [project @ 1997-02-19 19:15:40 by jwe]
jwe
parents: 2698
diff changeset
58 octave.info: $(TEXINFO) ../conf.texi
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2701
diff changeset
59 -makeinfo -I$(srcdir) -I$(srcdir)/.. $(srcdir)/octave.texi
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
60
2701
cd5f72e530e2 [project @ 1997-02-19 19:15:40 by jwe]
jwe
parents: 2698
diff changeset
61 octave.dvi: $(TEXINFO) ../conf.texi
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
62 -TEXINPUTS="$(srcdir):$(srcdir)/..:$(TEXINPUTS):"; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
63 export TEXINPUTS; \
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents: 2297
diff changeset
64 $(TEXI2DVI) $(srcdir)/octave.texi
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
65
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
66 octave.ps: octave.dvi
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
67 -dvips -o octave.ps octave.dvi
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
68
2627
0b852cbea582 [project @ 1997-01-27 04:07:05 by jwe]
jwe
parents: 2624
diff changeset
69 ../../INSTALL.OCTAVE: install.texi
0b852cbea582 [project @ 1997-01-27 04:07:05 by jwe]
jwe
parents: 2624
diff changeset
70 -makeinfo -D INSTALLONLY --no-headers --no-split --output INSTALL \
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2701
diff changeset
71 -I$(srcdir) -I$(srcdir)/.. $(srcdir)/install.texi
2001
1cad7a5f673f [project @ 1996-03-03 17:36:38 by jwe]
jwe
parents: 2000
diff changeset
72 mv INSTALL ../../INSTALL.OCTAVE
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
73
2627
0b852cbea582 [project @ 1997-01-27 04:07:05 by jwe]
jwe
parents: 2624
diff changeset
74 ../../BUGS: bugs.texi
0b852cbea582 [project @ 1997-01-27 04:07:05 by jwe]
jwe
parents: 2624
diff changeset
75 -makeinfo -D BUGSONLY --no-headers --no-split --output BUGS \
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2701
diff changeset
76 -I$(srcdir) -I$(srcdir)/.. $(srcdir)/bugs.texi
2001
1cad7a5f673f [project @ 1996-03-03 17:36:38 by jwe]
jwe
parents: 2000
diff changeset
77 mv BUGS ../../BUGS
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
78
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
79 check: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
80 .PHONY: check
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
81
2811
1dd37f97364a [project @ 1997-03-12 23:06:13 by jwe]
jwe
parents: 2705
diff changeset
82 install install-strip: all
2222
a2e240d3f336 [project @ 1996-05-17 08:00:55 by jwe]
jwe
parents: 2028
diff changeset
83 $(top_srcdir)/mkinstalldirs $(man1dir) $(infodir)
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
84 @if test -d $(man1dir); then \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
85 rm -f $(man1dir)/octave$(man1ext); \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
86 echo "installing $(srcdir)/octave.1 in $(man1dir)"; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
87 $(INSTALL_DATA) $(srcdir)/octave.1 $(man1dir)/octave$(man1ext); \
979
0f3e32a0c440 [project @ 1994-12-13 04:36:10 by jwe]
jwe
parents: 978
diff changeset
88 fi
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
89 @if test -d $(infodir); then \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
90 rm -f $(infodir)/octave.info*; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
91 echo "installing info files in $(infodir)"; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
92 if test -f octave.info; then \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
93 for f in octave.info*; do \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
94 $(INSTALL_DATA) $$f $(infodir)/$$f; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
95 done; \
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
96 else \
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
97 for f in $(srcdir)/octave.info*; do \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
98 $(INSTALL_DATA) $$f $(infodir)/`basename $$f`; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
99 done; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
100 fi; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
101 if test -f $(infodir)/dir; then \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
102 if grep "^\* Octave: (octave)." $(infodir)/dir > /dev/null; then \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
103 true; \
980
4793e60ad17c [project @ 1994-12-13 04:52:24 by jwe]
jwe
parents: 979
diff changeset
104 else \
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
105 echo ""; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
106 echo "You should add the following entry"; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
107 echo ""; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
108 echo "* Octave: (octave)."; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
109 echo " Interactive language for numerical computations."; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
110 echo ""; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
111 echo "to $(infodir)/dir."; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
112 echo ""; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
113 fi; \
976
99dcb231f215 [project @ 1994-12-13 01:39:22 by jwe]
jwe
parents: 954
diff changeset
114 else \
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
115 echo "installing $(srcdir)/dir in $(infodir)"; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
116 $(INSTALL_DATA) $(srcdir)/dir $(infodir)/dir; \
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
117 fi; \
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
118 fi
2811
1dd37f97364a [project @ 1997-03-12 23:06:13 by jwe]
jwe
parents: 2705
diff changeset
119 .PHONY: install install-strip
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
120
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
121 uninstall:
2222
a2e240d3f336 [project @ 1996-05-17 08:00:55 by jwe]
jwe
parents: 2028
diff changeset
122 rm -f $(infodir)/octave.info* $(man1dir)/octave$(man1ext)
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
123 .PHONY: uninstall
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
124
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
125 tags: $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
126 ctags $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
127
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
128 TAGS: $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
129 etags $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
130
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
131 spell: $(SPELL)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
132 .PHONY: spell
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
133
1458
0b3626c71b9e [project @ 1995-09-20 05:48:18 by jwe]
jwe
parents: 1452
diff changeset
134 mostlyclean clean:
0b3626c71b9e [project @ 1995-09-20 05:48:18 by jwe]
jwe
parents: 1452
diff changeset
135 rm -f octave.cp octave.fn octave.in \
349
15d748dd2aab [project @ 1994-02-09 22:31:39 by jwe]
jwe
parents: 337
diff changeset
136 octave.ky octave.op octave.pg octave.rd octave.tp octave.vr \
15d748dd2aab [project @ 1994-02-09 22:31:39 by jwe]
jwe
parents: 337
diff changeset
137 octave.cps octave.fns octave.ins octave.kys octave.ops \
15d748dd2aab [project @ 1994-02-09 22:31:39 by jwe]
jwe
parents: 337
diff changeset
138 octave.pgs octave.rds octave.tps octave.vrs octave.aux \
2000
529a478cf4b2 [project @ 1996-03-03 17:33:22 by jwe]
jwe
parents: 1461
diff changeset
139 octave.log octave.toc
1458
0b3626c71b9e [project @ 1995-09-20 05:48:18 by jwe]
jwe
parents: 1452
diff changeset
140 .PHONY: mostlyclean clean
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
141
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
142 distclean: clean
1039
8b4fda9b7507 [project @ 1995-01-18 14:10:30 by jwe]
jwe
parents: 1028
diff changeset
143 rm -f Makefile
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
144 .PHONY: distclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
145
1391
02a4e580de4e [project @ 1995-09-14 09:08:43 by jwe]
jwe
parents: 1167
diff changeset
146 maintainer-clean: distclean
1458
0b3626c71b9e [project @ 1995-09-20 05:48:18 by jwe]
jwe
parents: 1452
diff changeset
147 rm -f tags TAGS octave.info octave.info-* octave.dvi octave.ps \
1391
02a4e580de4e [project @ 1995-09-14 09:08:43 by jwe]
jwe
parents: 1167
diff changeset
148 .PHONY: maintainer-clean
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
149
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
150 dist: all
2028
046d83c6f0af [project @ 1996-03-23 11:01:15 by jwe]
jwe
parents: 2021
diff changeset
151 ln $(DISTFILES) ../../`cat ../../.fname`/doc/interpreter
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
152 .PHONY: dist
2624
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
153
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
154 bin-dist:
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
155 if [ -n "$(BINDISTFILES)" ]; then \
3028
6d56646a2d1f [project @ 1997-06-05 06:34:21 by jwe]
jwe
parents: 2811
diff changeset
156 ln $(BINDISTFILES) ../../`cat ../../.fname`/doc/interpreter; \
2624
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
157 fi
7e24c1f29db4 [project @ 1997-01-26 04:40:00 by jwe]
jwe
parents: 2588
diff changeset
158 .PHONY: bin-dist