[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 9e94509 3/3: Generate info/dir directly from any org sources
From: |
Eli Zaretskii |
Subject: |
Re: master 9e94509 3/3: Generate info/dir directly from any org sources |
Date: |
Sat, 06 Mar 2021 17:51:14 +0200 |
> From: "Basil L. Contovounesios" <contovob@tcd.ie>
> Cc: Mattias EngdegÄrd <mattiase@acm.org>, rgm@gnu.org,
> emacs-devel@gnu.org
> Date: Sat, 06 Mar 2021 15:31:58 +0000
>
> texi_misc = $(shell ${MAKE} --no-print-directory -s -C doc/misc echo-sources)
>
> srcdir_doc_info_dir_inputs = \
> ${srcdir}/doc/emacs/emacs.texi \
> ${srcdir}/doc/lispintro/emacs-lisp-intro.texi \
> ${srcdir}/doc/lispref/elisp.texi \
> - $(addprefix ${srcdir}/doc/misc/,${texi_misc})
> + $(addprefix ${srcdir}/doc/misc/,$(filter %.texi %.org,${texi_misc}))
This only works if the other output is interspersed "at word level",
i.e. you don't have characters from one Make mixed up with those of
another inside a single word. Right?
Why do we need to use $(shell) at all? Can't we use $(wildcard) to
the same effect without starting another process? If the problem is
that some *.texi files are generated, and we don't want them in the
list, how about generating them in a subdirectory of doc/misc/?
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/05
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/05
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Mattias EngdegÄrd, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Eli Zaretskii, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources,
Eli Zaretskii <=
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Andreas Schwab, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Andreas Schwab, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Glenn Morris, 2021/03/06
- Re: master 9e94509 3/3: Generate info/dir directly from any org sources, Basil L. Contovounesios, 2021/03/06