diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2022-05-09 20:40:55 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2022-05-09 20:40:55 +0200 |
| commit | f9e22e5e98d8f1e21f3e2b9872d04be92c9fb1bf (patch) | |
| tree | b5682b5fcad47245054a274b8c58f1248eccc202 | |
| parent | 7348f6d5ff90318a1c948d0499d8dc6721fe851a (diff) | |
make: Remove duplicated help entry
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -14,7 +14,6 @@ help: $(info make html - generate html manual file) $(info make html-dir - generate html manual directory) $(info make pdf - generate pdf manual) - $(info make stats - generate statistics) $(info make publish - publish snapshot manuals) $(info make release - publish release manuals) $(info make stats - generate statistics) |