-
-
Notifications
You must be signed in to change notification settings - Fork 654
Closed
Milestone
Description
- ./bootstrap: Format build/pkgs/SPKG/distros/ information to produce the apt-get/yum command lines shown in the installation manual #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
.
CC: @dimpase @embray @jhpalmieri
Component: build: configure
Author: Matthias Koeppe
Branch/Commit: 0dc97db
Reviewer: Dima Pasechnik
Issue created by migration from https://trac.sagemath.org/ticket/29233