c5f5d615a6
Use a dedicated make target for the man page rather than bundling the generation as part of `install`. Also make sure that `make install` is a fixpoint by - Removing the generated markdown files from `MANUAL_SRCS` - Not having the manpage generation write in its source directory so as to not update its timestamp (it would run each time otherwise) |
||
---|---|---|
.. | ||
src | ||
book.toml | ||
custom.css | ||
generate-builtins.nix | ||
generate-manpage.nix | ||
generate-options.nix | ||
highlight.pack.js | ||
local.mk | ||
quote-literals.xsl | ||
utils.nix |