diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2026-01-04 01:41:09 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2026-01-04 01:41:09 +0100 |
| commit | 902b4d572af2c2f36060da01e3c33d194cdec32b (patch) | |
| tree | 487a6a5a79e4f437c0476faf9d9d768d21f9ac08 | |
| parent | 76ecbb2107efcbad48210a393b90193bcf4008aa (diff) | |
make: Also clean .revdesc and docs/stats/
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 458172c..f49f7d6 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -89,7 +89,7 @@ stats-upload: @printf "Uploading statistics...\n" @$(RCLONE) sync $(RCLONE_ARGS) stats $(STAT_TARGET) -CLEAN = $(PKG).info dir $(PKG) $(PKG).html $(PKG).pdf +CLEAN = .revdesc $(PKG).info dir $(PKG) $(PKG).html $(PKG).pdf $(STAT_TARGET) clean: @printf " Cleaning docs/*...\n" |