annotate doc/interpreter/Makefile.in @ 311:c6e054496783

[project @ 1994-01-19 05:22:22 by jwe]
author jwe
date Wed, 19 Jan 1994 05:22:22 +0000
parents 307cb26c335f
children 48e783fa1a47
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 \
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
19 control.texi cp-idx.texi diffeq.texi expr.texi \
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
20 extend.texi fcn.texi fn-idx.texi gpl.texi help.texi \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
21 history.texi hsuser.texi install.texi install1.texi \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
22 intro.texi invoke.texi io.texi linalg.texi matrix.texi \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
23 nonlin.texi octave.texi op-idx.texi optim.texi plot.texi \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
24 program.texi quad.texi rluser.texi signal.texi special.texi \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
25 stats.texi stmt.texi strings.texi system.texi using.texi \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
26 var.texi vr-idx.texi
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
27
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
28 LIB_TEXINFO = liboctave.texi
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
29
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
30 ALL_TEXINFO = $(TEXINFO) $(LIB_TEXINFO)
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
31
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
32 FORMATTED = octave.dvi octave.ps octave.info octave.info-[0-9]*
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
33 # liboctave.info liboctave.info-[0-9]*
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
34
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
35 DISTFILES = Makefile.in conf.texi.in conf.texi texinfo.tex \
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
36 $(ALL_TEXINFO) $(FORMATTED)
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
37
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
38 SPELL = $(patsubst %.texi, %.spell, $(ALL_TEXINFO))
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
39
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
40 %.spell : %.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
41 rm -f $@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
42 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
43 mv $@.tmp $@
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
44
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
45 all: octave.info octave.dvi octave.ps
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
46 # liboctave.info liboctave.dvi liboctave.ps
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
47 .PHONY: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
48
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
49 octave.info: $(TEXINFO) conf.texi
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
50 -makeinfo -I$(srcdir) octave.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
51
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
52 octave.dvi: $(TEXINFO) conf.texi
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
53 texi2dvi $(srcdir)/octave.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
54
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
55 octave.ps: octave.dvi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
56 dvips -o octave.ps octave.dvi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
57
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
58 liboctave.info: $(LIB_TEXINFO) conf.texi
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
59 -makeinfo -I$(srcdir) liboctave.texi
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
60
304
307cb26c335f [project @ 1994-01-18 20:59:59 by jwe]
jwe
parents: 301
diff changeset
61 liboctave.dvi: $(LIB_TEXINFO) conf.texi
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
62 texi2dvi $(srcdir)/liboctave.texi
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
63
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
64 liboctave.ps: liboctave.dvi
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
65 dvips -o liboctave.ps liboctave.dvi
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
66
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
67 ../INSTALL.OCTAVE: install1.texi install.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
68 -makeinfo --no-header -I$(srcdir)/doc install1.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
69 -mv INSTALL ../INSTALL.OCTAVE
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
70
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
71 ../BUGS: bugs1.texi bugs.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
72 -makeinfo --no-header -I$(srcdir)/doc bugs1.texi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
73 -mv BUGS ../BUGS
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
74
300
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
75 # This mess is supposed to prevent us from making info files
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
76 # unnecessarily when building Octave in a subdirectory.
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
77
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
78 conf.texi: $(srcdir)/../src/version.h ../Makeconf Makefile conf.texi.in
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
79 @echo "Making conf.texi from conf.texi.in..."
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
80 @(version_val=${version}; \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
81 sed < $(srcdir)/conf.texi.in > conf.texi.tmp \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
82 -e "s;%OCTAVE_VERSION%;$$version_val;" \
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
83 -e "s;%OCTAVE_HOME%;${prefix};")
300
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
84 @if test "$(srcdir)" = "." ; then \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
85 $(srcdir)/../src/move-if-change conf.texi.tmp conf.texi; \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
86 else \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
87 if cmp conf.texi.tmp $(srcdir)/conf.texi > /dev/null; then \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
88 echo conf.texi is unchanged; \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
89 rm -f conf.texi.tmp; \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
90 else \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
91 mv -f conf.texi.tmp conf.texi; \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
92 fi; \
44512e56188e [project @ 1994-01-17 20:29:29 by jwe]
jwe
parents: 299
diff changeset
93 fi
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
94
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
95 check: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
96 .PHONY: check
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
97
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
98 install: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
99 if test -d $(infodir) ; then true ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
100 else $(TOPDIR)/mkpath $(infodir) ; fi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
101 if test -d $(infodir) ; then \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
102 rm -f $(infodir)/octave.info* ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
103 if test -f octave.info ; then \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
104 for f in octave.info* ; do \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
105 $(INSTALL_DATA) $$f $(infodir)/$$f ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
106 done ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
107 else \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
108 for f in $(srcdir)/octave.info* ; do \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
109 $(INSTALL_DATA) $$f $(infodir)/`basename $$f` ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
110 done ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
111 fi ; \
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
112 fi
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
113 .PHONY: install
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
114
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
115 uninstall:
299
7dce3f323400 [project @ 1994-01-17 20:17:19 by jwe]
jwe
parents: 205
diff changeset
116 rm -f $(infodir)/octave.info* $(infodir)/liboctave.info*
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
117 .PHONY: uninstall
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
118
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
119 tags: $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
120 ctags $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
121
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
122 TAGS: $(SOURCES)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
123 etags $(SOURCES)
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 spell: $(SPELL)
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
126 .PHONY: spell
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 clean:
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
129 rm -f *.info *.info-* octave.cp octave.fn octave.ky \
301
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
130 octave.op octave.pg octave.tp octave.vr octave.cps \
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
131 octave.fns octave.kys octave.ops octave.pgs octave.tps \
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
132 octave.vrs octave.aux octave.log octave.toc octave.dvi \
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
133 octave.ps liboctave.cp liboctave.fn liboctave.pg \
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
134 liboctave.tp liboctave.cps liboctave.fns liboctave.pgs \
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
135 liboctave.tps liboctave.aux liboctave.log liboctave.toc \
707bd95636cf [project @ 1994-01-17 22:47:47 by jwe]
jwe
parents: 300
diff changeset
136 liboctave.dvi liboctave.ps
152
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
137 .PHONY: clean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
138
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
139 mostlyclean:
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
140 rm -f *.info *.info-*
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
141 .PHONY: mostlyclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
142
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
143 distclean: clean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
144 rm -f Makefile
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
145 .PHONY: distclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
146
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
147 realclean: distclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
148 rm -f tags TAGS
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
149 .PHONY: realclean
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
150
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
151 local-dist: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
152 ln $(DISTFILES) ../`cat ../.fname`/doc
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
153 .PHONY: local-dist
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
154
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
155 dist: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
156 ln $(DISTFILES) ../`cat ../.fname`/doc
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
157 .PHONY: dist
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
158
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
159 doc-dist: all
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
160 ln $(FORMATTED) ../`cat ../.fname`/doc
1a53b99f7f28 [project @ 1993-10-10 19:36:32 by jwe]
jwe
parents:
diff changeset
161 .PHONY: doc-dist