diff options
Diffstat (limited to 'doc/manual')
| -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. |