diff options
| author | David Bremner <david@tethera.net> | 2023-09-10 20:13:13 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2023-09-12 08:07:37 -0300 |
| commit | b21747e0c3b7e2a779f5fad10cef4c8fcf233ae4 (patch) | |
| tree | c640d7c8cdbb00c143b38d34ef0b8001cc544ced /doc/Makefile.local | |
| parent | 14e05a3eeeb1ceabe7eb9389e161334bfebb48db (diff) | |
build: clean up __pycache__ directories
These are generated indirectly by certain uses of python in the build.
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 51c729cf..aafa77a0 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -159,3 +159,5 @@ $(dir)/config.dox: version.stamp CLEAN := $(CLEAN) $(DOCBUILDDIR) $(DOCBUILDDIR)/.roff.stamp $(DOCBUILDDIR)/.texi.stamp CLEAN := $(CLEAN) $(DOCBUILDDIR)/.html.stamp $(DOCBUILDDIR)/.info.stamp CLEAN := $(CLEAN) $(MAN_GZIP_FILES) $(MAN_ROFF_FILES) $(dir)/conf.pyc $(dir)/config.dox + +CLEAN := $(CLEAN) $(dir)/__pycache__ |