bootstrap && make distclean broken

[vbraun]

• #26964 now creates documentation files during bootstrap
• make distclean blows away these generated files
• subsequent make fails when building documentation

This ticket fixes it by deleting the generated files in bootstrap-clean instead of misc-clean.

[vbraun]

[dochtml] [installat] The HTML pages are in
local/share/doc/sage/html/en/installation.
[dochtml] Error building the documentation.
[dochtml] Traceback (most recent call last):
[dochtml]   File "/home/release/Sage/local/lib/python2.7/runpy.py", line
174, in _run_module_as_main
[dochtml]     "__main__", fname, loader, pkg_name)
[dochtml]   File "/home/release/Sage/local/lib/python2.7/runpy.py", line
72, in _run_code
[dochtml]     exec code in run_globals
[dochtml]   File "/home/release/Sage/local/lib/python2.7/site-
packages/sage_setup/docbuild/__main__.py", line 2, in <module>
[dochtml]     main()
[dochtml]   File "/home/release/Sage/local/lib/python2.7/site-
packages/sage_setup/docbuild/__init__.py", line 1720, in main
[dochtml]     builder()
[dochtml]   File "/home/release/Sage/local/lib/python2.7/site-
packages/sage_setup/docbuild/__init__.py", line 336, in _wrapper
[dochtml]     build_many(build_other_doc, L)
[dochtml]   File "/home/release/Sage/local/lib/python2.7/site-
packages/sage_setup/docbuild/__init__.py", line 280, in build_many
[dochtml]     _build_many(target, args, processes=NUM_THREADS)
[dochtml]   File "/home/release/Sage/local/lib/python2.7/site-
packages/sage_setup/docbuild/utils.py", line 283, in build_many
[dochtml]     raise worker_exc.original_exception
[dochtml] OSError:
/home/release/Sage/src/doc/en/installation/source.rst:228: WARNING:
Include file u'/home/release/Sage/src/doc/en/installation/debian.txt' not
found or reading it failed

[dimpase]

make distclean should remove ./configure

[mkoeppe]

Volker, are you sure you regenerated the configure tar ball?

[vbraun]

Our distclean doesn't remove ./configure, neither should it ihmo. Distclean should remove whatever configure output there is, but it should keep the actual configure script which would go into a proper tarball.

[dimpase]

well, then it's a bug that make distclean removes stuff not made by make all or by ./configure

[vbraun]

Correct. And to fix it we can either kludge around with make distclean to not delete what should be build artifacts, or move building the documentation from bootstrap to make doc.

[dimpase]

it's not just documentation. One possible way to use these is to generate help info before the build, something like: "you're on Debian, to make use of as many Debian external packages as possible do apt-get install ..."

[dimpase]

also, it's used for CI. You need to tell your CI host what to install to minimise build time, and this is OS-specific and pre-build.

[mkoeppe]

OK, deletion should be done by bootstrap-clean, not misc-clean. My bad.

However, note that bootstrap is the correct build phase for making these files. This build phase, after all, prepares src for sdist, the distribution for dist and for configure.

[mkoeppe]

New commits:

​0dc97db

Clean src/doc/en/installation/*.txt in bootstrap-clean, not misc-clean

[dimpase]

lgtm