diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-22 20:46:12 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-23 18:26:48 +0200 |
| commit | 8e41c388679aedc12eb1a7a7aff1b4818040ff4a (patch) | |
| tree | e89fe48bfe21b2ed6e28decd1dd6f2250d41f7a0 /doc | |
| parent | e0ea3c82ca9e46359c55c9f716fec016f8d483ea (diff) | |
Remove references to xmllint
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/local.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index a91d497ce..65acd658c 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -25,8 +25,6 @@ clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8 dist-files += $(man-pages) $(d)/nix-copy-closure.1: $(d)/src/command-ref/nix-copy-closure.md - -%.1: %.md $(trace-gen) lowdown -sT man $^ -o $@ # Generate the HTML manual. |