Get rid of `bootstrap.sh` (cherry picked from commit aaef47a08eaf54a8856dd25c784fd85d8d7b0e22) Change-Id: I1a74bed0c23d6fda06d5dfd8ecad443b9122da12 |
||
---|---|---|
.. | ||
src | ||
theme | ||
anchors.jq | ||
book.toml | ||
custom.css | ||
generate-builtin-constants.nix | ||
generate-builtins.nix | ||
generate-manpage.nix | ||
generate-xp-features-shortlist.nix | ||
generate-xp-features.nix | ||
local.mk | ||
quote-literals.xsl | ||
redirects.js | ||
utils.nix |