151
152
$(REFMAN_TEXI:.texi=.txt): $(REFMAN_TEXI) ${ALL_INCLUDED}
152
153
- @if test x"${MAKEINFO}" != x"" && test x"`echo ${MAKEINFO} | grep missing`" = x""; then \
153
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS $(MAKEINFO) -I . -I ${srcdir} --no-warn --no-header ${srcdir}/$(REFMAN_TEXI) > $(REFMAN_TEXI:.texi=.txt)"; \
154
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS $(MAKEINFO) --force -I . -I ${srcdir} --no-warn --no-header ${srcdir}/$(REFMAN_TEXI) > $(REFMAN_TEXI:.texi=.txt)"; \
154
155
TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS \
155
$(MAKEINFO) -I . -I ${srcdir} --no-warn --no-header ${srcdir}/$(REFMAN_TEXI) > $(REFMAN_TEXI:.texi=.txt); \
156
$(MAKEINFO) --force -I . -I ${srcdir} --no-warn --no-header ${srcdir}/$(REFMAN_TEXI) > $(REFMAN_TEXI:.texi=.txt); \
159
160
$(REFMAN_TEXI:.texi=.dvi): $(REFMAN_TEXI) ${ALL_INCLUDED}
160
161
- @if test x"${TEXI2DVI}" != x"" -a x"${TEX}" != x""; then \
161
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS MAKEINFO='$(MAKEINFO) -I . -I $(srcdir)' $(TEXI2DVI) $(srcdir)/$(REFMAN_TEXI)"; \
162
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS MAKEINFO='$(MAKEINFO) --force -I . -I $(srcdir)' $(TEXI2DVI) $(srcdir)/$(REFMAN_TEXI)"; \
162
163
TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS \
163
MAKEINFO='$(MAKEINFO) -I . -I $(srcdir)' \
164
MAKEINFO='$(MAKEINFO) --force -I . -I $(srcdir)' \
164
165
$(TEXI2DVI) $(srcdir)/$(REFMAN_TEXI); \
168
169
$(REFMAN_TEXI:.texi=.pdf): $(REFMAN_TEXI) ${ALL_INCLUDED}
169
170
- @if test x"${TEXI2PDF}" != x"" -a x"${TEX}" != x""; then \
170
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS MAKEINFO='$(MAKEINFO) -I . -I $(srcdir)' $(TEXI2PDF) $(srcdir)/$(rEFMAN_TEXI)"; \
171
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS MAKEINFO='$(MAKEINFO) --force -I . -I $(srcdir)' $(TEXI2PDF) $(srcdir)/$(rEFMAN_TEXI)"; \
171
172
TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS \
172
MAKEINFO='$(MAKEINFO) -I . -I $(srcdir)' \
173
MAKEINFO='$(MAKEINFO) --force -I . -I $(srcdir)' \
173
174
$(TEXI2PDF) $(srcdir)/$(REFMAN_TEXI); \
179
180
$(srcdir)/$(REFMAN_TEXI:.texi=.info): $(REFMAN_TEXI) ${ALL_INCLUDED}
180
181
- @if test x"${MAKEINFO}" != x"" && test x"`echo ${MAKEINFO} | grep missing`" = x"" && \
181
182
/bin/rm -f $@ $@-[0-9]* $(srcdir)/$@ $(srcdir)/$@-[0-9]*; then \
182
echo "TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS $(MAKEINFO) -I . -I $(srcdir) ${srcdir}/$(REFMAN_TEXI) -o $(srcdir)/$@"; \
183
echo "$(MAKEINFO) --force --no-split -I . -I $(srcdir) ${srcdir}/$(REFMAN_TEXI) -o $(srcdir)/$@.new && mv $(srcdir)/$@.new $(srcdir)/$@"; \
183
184
TEXINPUTS=./:$(srcdir)/:$(top_builddir)/demo/:$(top_srcdir)/config/:$$TEXINPUTS \
184
$(MAKEINFO) --no-split -I . -I $(srcdir) ${srcdir}/$(REFMAN_TEXI) -o $(srcdir)/$@; \
185
$(MAKEINFO) --force --no-split -I . -I $(srcdir) ${srcdir}/$(REFMAN_TEXI) -o $(srcdir)/$@; \
186
187
touch $(srcdir)/$(REFMAN_TEXI:.texi=.info); \
191
192
echo "$(TEXI2HTML) ${srcdir}/$(REFMAN_TEXI)"; \
192
193
$(TEXI2HTML) ${srcdir}/$(REFMAN_TEXI); \
194
touch $(REFMAN_TEXI:.txi=.html); \
195
touch $(REFMAN_TEXI:.texi=.html); \
197
198
$(REFMAN_TEXI:.texi=.ps): $(REFMAN_TEXI:.texi=.dvi)
219
220
echo "grep -v "@[a-z][a-z]index" INSTALL.texi > $$tmp_texi"; \
220
221
grep -v "@[a-z][a-z]index" INSTALL.texi > $$tmp_texi; \
221
222
echo "makeinfo -I . --no-warn --no-header $$tmp_texi > INSTALL.txt"; \
222
makeinfo -I . --no-warn --no-header $$tmp_texi > INSTALL.txt; \
223
makeinfo --force -I . --no-warn --no-header $$tmp_texi > INSTALL.txt; \
223
224
echo "/bin/rm -f $$tmp_texi"; \
224
225
/bin/rm -f $$tmp_texi; \
225
226
echo "cp INSTALL.txt ${top_srcdir}/INSTALL"; \