diff options
| author | eldritch horrors <pennae@lix.systems> | 2024-04-08 20:20:50 +0200 |
|---|---|---|
| committer | eldritch horrors <pennae@lix.systems> | 2024-04-09 02:09:36 +0000 |
| commit | d9bc197ff4cf3fa1d80e213ddc56efd7d09a5d63 (patch) | |
| tree | 374ce25c15436a7b48567f5b17ac673e4d74a29c /.gitignore | |
| parent | 07ef9f9f5d88f4d278291d78faf2e0b0a067cb8e (diff) | |
docs: don't compute rl-next.md during build
not sure why this was done the way it was considering that includes are
a feature the doc toolchain had previously. let's just always have some
kind of entry for the upcoming release in the dev manual builds even if
that means having a completely empty release notes chapter.
the release notes generation script isn't entirely functional right now
due to pre-commit hooks, but it's good enough for time being. we need a
better release process for notes anyway.
Change-Id: Ifda6912cf5233db013f72a30247a62d6f22b1565
Change-Id: I9eb347ec4aabc5be2b816ff0fd3e4be45f93b934
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 5409b2f09..c385ef940 100644 --- a/.gitignore +++ b/.gitignore @@ -22,14 +22,13 @@ perl/Makefile.config /doc/manual/language.json /doc/manual/xp-features.json /doc/manual/src/SUMMARY.md -/doc/manual/src/SUMMARY-rl-next.md /doc/manual/src/command-ref/new-cli /doc/manual/src/command-ref/conf-file.md /doc/manual/src/command-ref/experimental-features-shortlist.md /doc/manual/src/contributing/experimental-feature-descriptions.md /doc/manual/src/language/builtins.md /doc/manual/src/language/builtin-constants.md -/doc/manual/src/release-notes/rl-next.md +/doc/manual/src/release-notes/rl-next-generated.md # /scripts/ /scripts/nix-profile.sh |