1
MAKEINFOFLAGS = --enable-encoding
5
info_TEXINFOS = maxima.texi
11
fcharset = "ISO-8859-1"
15
perl ../texi2html -split_chapter --lang=es --output=. --css-include=../manual.css --init-file ../texi2html.init maxima.texi
16
rm -f maximahtml.es.mk
17
ls -1 maxima*.html | sed 's/\(.*\)/MAXIMAESHTML += \1/' > maximahtml.es.mk
20
include maximahtml.es.mk
22
$(MAXIMAESHTML): maxima.texi $(maxima_TEXINFOS)
23
perl ../texi2html -split_chapter --lang=es --output=. --css-include=../manual.css --init-file ../texi2html.init maxima.texi
26
include $(top_srcdir)/common.mk
27
genericdir = $(dochtmldir)/es.utf8
28
genericdirDATA = $(MAXIMAESHTML)\
29
contents.hhc index.hhk header.hhp
31
clean-local: clean-info clean-html
37
rm -f maxima.html maxima_*.html
41
EXTRA_DIST = maximahtml.es.mk header.hhp
43
maxima.info: maxima.texi
44
@rm -f $@ $@-[0-9] $@-[0-9][0-9]
45
$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \
46
-o $@ `test -f '$<' || echo '$(srcdir)/'`$<
47
for f in $@ $@-[0-9] $@-[0-9][0-9]; do \
48
if test -f $$f; then \
49
if test x$(urecode) = xtrue ; then \
50
recode $(fcharset)..$(tcharset) $$f ; \
52
rm -f foo.$$f 2>/dev/null ; \
53
iconv -f $(fcharset) -t $(tcharset) $$f > foo.$$f ; \
59
install-info-am: $(INFO_DEPS)
60
test -z "$(infodir)$(langsdir)" || mkdir -p -- "$(DESTDIR)$(infodir)$(langsdir)"
61
@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
62
list='$(INFO_DEPS)'; \
63
for file in $$list; do \
65
$(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
67
if test -f $$file; then d=.; else d=$(srcdir); fi; \
68
file_i=`echo "$$file" | sed 's|\.info$$||;s|$$|.i|'`; \
69
for ifile in $$d/$$file $$d/$$file-[0-9] $$d/$$file-[0-9][0-9] \
70
$$d/$$file_i[0-9] $$d/$$file_i[0-9][0-9] ; do \
71
if test -f $$ifile; then \
72
relfile=`echo "$$ifile" | sed 's|^.*/||'`; \
73
echo " $(INSTALL_DATA) '$$ifile' '$(DESTDIR)$(infodir)$(langsdir)/$$relfile'"; \
74
$(INSTALL_DATA) "$$ifile" "$(DESTDIR)$(infodir)$(langsdir)/$$relfile"; \
80
@list='$(INFO_DEPS)'; \
81
for file in $$list; do \
82
relfile=`echo "$$file" | sed 's|^.*/||'`; \
83
relfile_i=`echo "$$relfile" | sed 's|\.info$$||;s|$$|.i|'`; \
84
(if cd "$(DESTDIR)$(infodir)$(langsdir)"; then \
85
echo " cd '$(DESTDIR)$(infodir)$(langsdir)' && rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]"; \
86
rm -f $$relfile $$relfile-[0-9] $$relfile-[0-9][0-9] $$relfile_i[0-9] $$relfile_i[0-9][0-9]; \