automake
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Treat pdf, html like info (again)


From: Andrew W. Nosenko
Subject: Treat pdf, html like info (again)
Date: Wed, 3 Dec 2008 14:01:59 +0200

In the http://lists.gnu.org/archive/html/automake/2008-11/msg00029.html
Stefan Bienert asked how to "teach" automake to treat .pdf and .html
files like .info files.

Peter Johansson proposed to use 'all-local' target like this:

    all-local: pdf html

Unfortunatelly, it is not clean solution, at least for me. :-(

The reason is simple: 'all-local' target only hints automake to build
and EXTRA_DIST hints to include these generated pdfs into tarball.
But no one of those do NOT hint automake to don't delete these
generated .pdf at the 'clean' stage ('mostlyclean' if more
preciously).  As consequence, the GNU Coding Standard is violated (at
least as I understand it): anything that included into dist tarball
should NOT be cleared by 'distclean' and, therefore, by 'clean'
targets, only maintainer-clean may or may not delete such files.

The reason of such interpretation (from (standards)Standard Targets):

    `clean'
         Delete all files in the current directory that are normally
         created by building the program.  Also delete files in other
         directories if they are created by this makefile.  However, don't
         delete the files that record the configuration.  Also preserve
         files that could be made by building, but normally aren't because
         the distribution comes with them.  There is no need to delete
         parent directories that were created with `mkdir -p', since they
         could have existed anyway.

         Delete `.dvi' files here if they are not part of the distribution.

Pay attention on "Also preserve files that could be made by building,
but normally aren't because the distribution comes with them."

Files included into EXTRA_DIST are come with distribution and
therefore should not be deleted by the 'make clean'.

    `distclean'
         Delete all files in the current directory (or created by this
         makefile) that are created by configuring or building the program.
         If you have unpacked the source and built the program without
         creating any other files, `make distclean' should leave only the
         files that were in the distribution.  However, there is no need to
         delete parent directories that were created with `mkdir -p', since
         they could have existed anyway.

Yes, the wording is unclear in respect to deleting distributed files
(there required only to "leave only the files that were in the
distribution", but no requirement to leave _all_ files, which were in
the distribution).  But I hope that you consider "do not delete
distributed files" as reasonable and expected by users behavior.

Therefore proposal: exclude all files listed in the EXTRA_DIST from
the any generated "clean"-like targets (except maintainer-clean, if
any).

-- 
Andrew W. Nosenko <address@hidden>




reply via email to

[Prev in Thread] Current Thread [Next in Thread]