diff options
| author | Guillaume Desforges <guillaume.desforges.pro@gmail.com> | 2022-02-23 15:06:13 +0100 |
|---|---|---|
| committer | Guillaume Desforges <guillaume.desforges.pro@gmail.com> | 2022-02-23 15:06:13 +0100 |
| commit | 2cc645a91a07458fd23e0aacd6ccdf63cad199b9 (patch) | |
| tree | b535d008e3591b1311a580ab5f4092aa89bc50ed | |
| parent | 3144b373a486bf0d5ff35d3202a658311b26c6f0 (diff) | |
Add html make target
| -rw-r--r-- | doc/manual/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 6b232a736..c1ce8aaeb 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -72,6 +72,7 @@ $(d)/builtins.json: $(bindir)/nix @mv $@.tmp $@ # Generate the HTML manual. +html: $(docdir)/manual/index.html install: $(docdir)/manual/index.html # Generate 'nix' manpages. |