alois31 5df2cccc49 doc: install the HTML manual again ... In 0e6b3435a1, installation of the HTML manual was accidentally dropped: setting install_dir on a custom_target only sets the directory where something is going to be installed if it is installed at all, but does not itself trigger installation. The latter has to be explicitly requested, which is just what we do here to get the manual back. Change-Id: Iff8b791de7e7cb4c8d747c2a9b1154b5fcc32fe0		2024-10-05 10:49:34 +02:00
..
rl-next	Merge "fix(nix fmt): remove the default "." argument" into main	2024-09-30 16:10:32 +00:00
src	manual: note that __sandboxProfile allows bypassing the darwin sandbox	2024-08-29 17:06:39 -07:00
theme	Add pre-commit checks	2024-03-29 22:57:40 -07:00
anchors.jq	Add pre-commit checks	2024-03-29 22:57:40 -07:00
book.toml	docs: enable non-default TOC folding	2024-05-30 00:23:01 +00:00
change-authors.yml	fix(nix fmt): remove the default "." argument	2024-09-26 14:32:29 -07:00
custom.css	disallow selecting shell prompt in code samples	2022-12-05 11:01:46 +01:00
generate-builtin-constants.nix	Format Nix code with nixfmt	2024-04-08 13:00:00 -07:00
generate-builtins.nix	Format Nix code with nixfmt	2024-04-08 13:00:00 -07:00
generate-deps.py	docs: redo content generation for mdbook and manual	2024-04-11 13:32:06 +00:00
generate-features-shortlist.nix	libexpr: Introduce Deprecated features	2024-08-17 19:47:51 +02:00
generate-features.nix	libexpr: Introduce Deprecated features	2024-08-17 19:47:51 +02:00
generate-manpage.nix	docs: don't compute SUMMARY.md during build	2024-04-09 02:09:36 +00:00
json-to-tree.py	docs: generalize manpage generation script as json-to-tree.py	2024-04-10 15:04:34 +02:00
meson.build	doc: install the HTML manual again	2024-10-05 10:49:34 +02:00
process-includes.sh	change shebangs of all .sh scripts to bash	2024-06-24 14:00:43 -07:00
quote-literals.xsl	Generate release notes again	2014-03-12 14:24:29 +01:00
rclone.conf	doc: add a script to upload the nightly manual manually	2024-05-14 14:28:01 -07:00
redirects.js	manual: fix a syntax error in redirects.js that made it not do anything	2024-08-04 20:41:19 -07:00
render-manpage.sh	change shebangs of all .sh scripts to bash	2024-06-24 14:00:43 -07:00
substitute.py	docs: redo content generation for mdbook and manual	2024-04-11 13:32:06 +00:00
utils.nix	Format Nix code with nixfmt	2024-04-08 13:00:00 -07:00