annotate info/Makefile.in @ 1240:4dd5f9bc768e

[project @ 1995-04-10 22:47:38 by jwe]
author jwe
date Mon, 10 Apr 1995 22:47:38 +0000
parents 3fc1ccd5a9db
children 5fb4ee02da70
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
1 # Makefile for Octave's info directory. Adapted from the makefile for
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
2 # texinfo/info.
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
3 #
655
6a2e35dc94c3 [project @ 1994-08-25 22:16:05 by jwe]
jwe
parents: 411
diff changeset
4 # Copyright (C) 1993, 1994 Free Software Foundation, Inc.
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
5 #
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
6 # This program is free software; you can redistribute it and/or modify
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
7 # it under the terms of the GNU General Public License as published by
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
8 # the Free Software Foundation; either version 2, or (at your option)
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
9 # any later version.
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
10 #
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
11 # This program is distributed in the hope that it will be useful,
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
14 # GNU General Public License for more details.
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
15 #
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
16 # You should have received a copy of the GNU General Public License
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
17 # along with this program; if not, write to the Free Software
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
18 # Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
19
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
20 #### Start of system configuration section. ####
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
21
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
22 TOPDIR = ..
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
23
411
b936220a35cf [project @ 1994-04-20 07:59:48 by jwe]
jwe
parents: 249
diff changeset
24 srcdir = @srcdir@
b936220a35cf [project @ 1994-04-20 07:59:48 by jwe]
jwe
parents: 249
diff changeset
25 top_srcdir = @top_srcdir@
b936220a35cf [project @ 1994-04-20 07:59:48 by jwe]
jwe
parents: 249
diff changeset
26 VPATH = @srcdir@:@srcdir@/../src
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
27
411
b936220a35cf [project @ 1994-04-20 07:59:48 by jwe]
jwe
parents: 249
diff changeset
28 include $(TOPDIR)/Makeconf
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
29
655
6a2e35dc94c3 [project @ 1994-08-25 22:16:05 by jwe]
jwe
parents: 411
diff changeset
30 INSTALL = @INSTALL@
6a2e35dc94c3 [project @ 1994-08-25 22:16:05 by jwe]
jwe
parents: 411
diff changeset
31 INSTALL_PROGRAM = @INSTALL_PROGRAM@
6a2e35dc94c3 [project @ 1994-08-25 22:16:05 by jwe]
jwe
parents: 411
diff changeset
32 INSTALL_DATA = @INSTALL_DATA@
6a2e35dc94c3 [project @ 1994-08-25 22:16:05 by jwe]
jwe
parents: 411
diff changeset
33
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
34 common = @srcdir@/../src
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
35
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
36 MAKEINFO= makeinfo
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
37
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
38 LDEFS = -DNAMED_FUNCTIONS=1 -DDEFAULT_INFOPATH='"$(DEFAULT_INFOPATH)"'
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
39
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
40 TERMLIBS = @TERMLIBS@
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
41 LIBS = $(TERMLIBS) @LIBS@
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
42 LOADLIBES = $(LIBS)
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
43
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
44 SHELL = /bin/sh
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
45
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
46 #### End of system configuration section. ####
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
47
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
48 SOURCES = dir.c display.c echo_area.c filesys.c info-utils.c info.c \
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
49 infodoc.c infomap.c m-x.c nodes.c search.c session.c \
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
50 signals.c terminal.c tilde.c window.c xmalloc.c indices.c \
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
51 makedoc.c nodemenu.c footnotes.c dribble.c variables.c gc.c \
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
52 error.c
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
53
249
0a1644ef9a0a [project @ 1993-12-06 18:56:13 by jwe]
jwe
parents: 174
diff changeset
54 INCLUDES = display.h doc.h echo_area.h filesys.h general.h \
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
55 info-utils.h info.h infomap.h nodes.h search.h session.h \
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
56 signals.h termdep.h terminal.h tilde.h indices.h window.h \
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
57 footnotes.h dribble.h variables.h gc.h
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
58
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
59 TEXI = info-stnd.texi info.texi userdoc.texi
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
60
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
61 DISTFILES = Makefile.in README NEWS info.1 \
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
62 $(SOURCES) $(INCLUDES) $(TEXINFO)
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
63
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
64 GETOPT_OBJS = getopt.o getopt1.o
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
65
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
66 LIBOBJS = dir.o display.o doc.o echo_area.o filesys.o info-utils.o \
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
67 infodoc.o infomap.o m-x.o nodes.o search.o session.o signals.o \
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
68 terminal.o tilde.o window.o indices.o xmalloc.o nodemenu.o \
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
69 footnotes.o dribble.o variables.o gc.o error.o
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
70
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
71 OBJECTS = info.o $(LIBOBJS) $(GETOPT_OBJS)
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
72
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
73 # The names of files which declare info commands.
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
74 CMDFILES = $(srcdir)/session.c $(srcdir)/echo_area.c $(srcdir)/infodoc.c \
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
75 $(srcdir)/m-x.c $(srcdir)/indices.c $(srcdir)/nodemenu.c \
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
76 $(srcdir)/footnotes.c $(srcdir)/variables.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
77
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
78 # The name of the program which builds documentation structure from CMDFILES.
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
79 MAKEDOC_OBJECTS = makedoc.o xmalloc.o
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
80 MAKEDOC_SOURCE = makedoc.c xmalloc.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
81
759
3fc1ccd5a9db [project @ 1994-10-02 15:34:26 by jwe]
jwe
parents: 655
diff changeset
82 all: libinfo.a # info.info info-stnd.info
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
83 .PHONY: all
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
84
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
85 sub-all: all
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
86 .PHONY: sub-all
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
87
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
88 install: all
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
89 # $(INSTALL_PROGRAM) info $(datadir)/info
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
90 # -d=$(srcdir); test -f ./info.info && d=.; \
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
91 # $(INSTALL_DATA) $$d/info.info $(infodir)/info.info
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
92 # -d=$(srcdir); test -f ./info-stnd.info && d=.; \
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
93 # $(INSTALL_DATA) $$d/info-stnd.info $(infodir)/info-stnd.info
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
94 # -$(INSTALL_DATA) $(srcdir)/info.1 $(mandir)/info.$(manext)
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
95 .PHONY: install
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
96
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
97 uninstall:
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
98 # rm -f $(datadir)/info
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
99 # rm -f $(infodir)/info.info
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
100 # rm -f $(infodir)/info-stnd.info
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
101 # rm -f $(mandir)/info.$(manext)
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
102 .PHONY: uninstall
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
103
759
3fc1ccd5a9db [project @ 1994-10-02 15:34:26 by jwe]
jwe
parents: 655
diff changeset
104 libinfo.a: $(LIBOBJS)
3fc1ccd5a9db [project @ 1994-10-02 15:34:26 by jwe]
jwe
parents: 655
diff changeset
105 $(AR) $(ARFLAGS) libinfo.a $(LIBOBJS)
3fc1ccd5a9db [project @ 1994-10-02 15:34:26 by jwe]
jwe
parents: 655
diff changeset
106 $(RANLIB) libinfo.a
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
107
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
108 info: $(OBJECTS)
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
109 $(CC) $(LDFLAGS) -o info $(OBJECTS) $(LOADLIBES)
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
110
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
111 info.info: info.texi
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
112 $(MAKEINFO) --no-split -I$(srcdir) info.texi
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
113
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
114 info-stnd.info: info-stnd.texi
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
115 $(MAKEINFO) --no-split -I$(srcdir) info-stnd.texi
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
116
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
117 makedoc: $(MAKEDOC_OBJECTS)
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
118 $(CC) $(LDFLAGS) -o makedoc $(MAKEDOC_OBJECTS) $(LOADLIBES)
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
119
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
120 clean:
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
121 rm -f info funs.h doc.c makedoc $(OBJECTS) $(MAKEDOC_OBJECTS)
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
122
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
123 distclean: clean texclean
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
124 rm -f Makefile config.status *~ core core.* *.BAK TAGS
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
125
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
126 mostlyclean: clean
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
127
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
128 realclean: distclean
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
129 rm -f funs.h doc.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
130 rm -f info.info info-stnd.info
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
131
173
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
132 local-dist:
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
133 ln $(DISTFILES) ../`cat ../.fname`/info
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
134 .PHONY: local-dist
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
135
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
136 dist:
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
137 ln $(DISTFILES) ../`cat ../.fname`/info
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
138 .PHONY: dist
c74bb6e6c838 [project @ 1993-10-21 22:43:36 by jwe]
jwe
parents: 171
diff changeset
139
174
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
140 TAGS: $(SOURCES) makedoc-TAGS
ef33b132b192 [project @ 1993-10-21 23:37:58 by jwe]
jwe
parents: 173
diff changeset
141 etags $(SOURCES)
171
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
142 cat makedoc-TAGS >>TAGS && rm -f makedoc-TAGS
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
143
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
144 makedoc-TAGS: $(CMDFILES)
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
145 ./makedoc -tags $(CMDFILES) >makedoc-TAGS
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
146
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
147 texclean:
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
148 rm -f *.toc *.aux *.log *.cp *.fn *.tp *.vr *.pg *.ky *.cps \
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
149 *.tps *.fns *.kys *.pgs *.vrs
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
150
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
151 check: info
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
152
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
153 # The files `doc.c' and `funs.h' are created by ./makedoc run over the source
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
154 # files which contain DECLARE_INFO_COMMAND. `funs.h' is a header file
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
155 # listing the functions found. `doc.c' is a structure containing pointers
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
156 # to those functions along with completable names and documentation strings.
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
157 funs.h: makedoc $(CMDFILES)
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
158 -@if test -f funs.h; then mv -f funs.h old-funs.h; fi; :
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
159 -@if test -f doc.c; then mv -f doc.c old-doc.c; fi; :
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
160 ./makedoc $(CMDFILES)
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
161 -@if cmp -s old-funs.h funs.h; then mv old-funs.h funs.h; \
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
162 else rm -f old-funs.h; fi; :
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
163 -@if cmp -s old-doc.c doc.c; then mv old-doc.c doc.c; \
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
164 else rm -f old-doc.c; fi; :
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
165
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
166 doc.c: funs.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
167 dribble.o: dribble.c dribble.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
168 display.o: display.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
169 echo_area.o: echo_area.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
170 filesys.o: filesys.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
171 info-utils.o: info-utils.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
172 info.o: info.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
173 infodoc.o: infodoc.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
174 infomap.o: infomap.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
175 m-x.o: m-x.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
176 nodes.o: nodes.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
177 search.o: search.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
178 session.o: session.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
179 signals.o: signals.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
180 terminal.o: terminal.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
181 tilde.o: tilde.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
182 window.o: window.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
183 xmalloc.o: xmalloc.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
184 indices.o: indices.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
185 makedoc.o: makedoc.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
186
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
187 dir.o: dir.c
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
188 display.o: nodes.h info-utils.h search.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
189 display.o: terminal.h window.h display.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
190 echo_area.o: info.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
191 filesys.o: general.h tilde.h filesys.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
192 footnotes.o: footnotes.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
193 info-utils.o: info-utils.h nodes.h search.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
194 info.o: info.h $(common)/getopt.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
195 infodoc.o: info.h doc.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
196 infomap.o: infomap.h funs.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
197 gc.o: info.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
198 m-x.o: info.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
199 nodes.o: search.h filesys.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
200 nodes.o: nodes.h info-utils.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
201 search.o: general.h search.h nodes.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
202 session.o: info.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
203 signals.o: info.h signals.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
204 terminal.o: terminal.h termdep.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
205 tilde.o: tilde.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
206 variables.c: variables.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
207 window.o: nodes.h window.h display.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
208 window.o: info-utils.h search.h infomap.h
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
209
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
210 # Prevent GNU make v3 from overflowing arg limit on SysV.
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
211 .NOEXPORT:
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
212
d6fae6ef3e60 [project @ 1993-10-21 22:39:46 by jwe]
jwe
parents:
diff changeset
213 # eof