One thing we could do, is add a configure flag --without-documentation so
that the person building can choose not generate any documents.
J'
On Wed, Nov 18, 2020 at 07:12:15PM +0100, Friedrich Beckmann wrote:
Maybe it is possible that
make
make install
will produce an info file without examples? Examples only with make doc or
similar?
Another idea would be a make target which is crafted for the cross compile
process without
the requirement of a pspp executable that runs on the build host.
Fritz
> Am 17.11.2020 um 18:40 schrieb John Darrington
<j...@darrington.wattle.id.au>:
>
> On Tue, Nov 17, 2020 at 06:04:39PM +0100, Friedrich Beckmann wrote:
> Is it a big deal to produce the examples only for the doc target?
>
> Our "doc" target is a convenience thing which is defined as
>
> doc: $(INFO_DEPS) $(DVIS) $(PDFS) $(PSS) $(HTMLS) $(dist_docbook_DATA)
>
>
> Note that INFO_DEPS includes doc/pspp.info which since it is
documentation
> needs the examples. INFO_DEPS is a standard dependency of the all-am
target
> which is set automatically by automake.
>
> So I think your question boils down to "Can we omit pspp.info from the
default
> target?" - I suppose the answer to that question is "Yes we could".
> However it would fly in the face of the GNU conventions, which installs
the
> info files when running "make install".
>
> J'
>
>
>
