Sergei Trofimovich 33fa5f3cd9 doc/manual/local.mk: fix 'make install DESTDIR=...' ... Install failure is observed when we try to install into inplace location as non-root: ``` $ LANG=C make install DESTDIR=$PWD/__i__ V=1 RUST_LOG=warn mdbook build doc/manual -d /usr/share/doc/nix/manual 2021-08-28 13:29:58 [ERROR] (mdbook::utils): Error: Rendering failed 2021-08-28 13:29:58 [ERROR] (mdbook::utils): Caused By: Unexpected error when constructing destination path 2021-08-28 13:29:58 [ERROR] (mdbook::utils): Caused By: Permission denied (os error 13) make: *** [doc/manual/local.mk:98: /usr/share/doc/nix/manual/index.html] Error 101 ``` The change is to prefix paths with `$(DESTDIR)`.		2021-08-28 13:31:34 +01:00
..
src	15f4d4f Documentation follow-up	2021-08-19 09:40:47 -07:00
theme	doc/manual: don't need to copy highlight.js manually	2021-08-04 19:47:05 -07:00
book.toml	Improve margins between sections	2020-08-19 12:31:18 +02:00
custom.css	Improve margins between sections	2020-08-19 12:31:18 +02:00
generate-builtins.nix	doc: builtins: use a definition list	2021-05-05 14:34:46 +00:00
generate-manpage.nix	Restore warning about 'nix' being experimental	2021-02-17 15:30:49 +01:00
generate-options.nix	Update document generation for empty json object values.	2020-09-24 22:41:24 -07:00
local.mk	doc/manual/local.mk: fix 'make install DESTDIR=...'	2021-08-28 13:31:34 +01:00
quote-literals.xsl
utils.nix	Group subcommands by category	2021-01-25 18:19:32 +01:00