diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2026-01-04 01:41:01 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2026-01-04 01:41:01 +0100 |
| commit | 433643c4b258a8dc5323bd9c060c6a3c16fe4a57 (patch) | |
| tree | d7e5a3d272c4003139877980344feedd64874d84 /docs/Makefile | |
| parent | 1f7039ef8d548d6fe858084fcbeae7588eba4190 (diff) | |
make: Also clean .revdesc and docs/stats/
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 45cf5f7..da1fe10 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -90,7 +90,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" |