diff options
| author | David Bremner <david@tethera.net> | 2023-09-12 08:56:22 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2023-09-12 08:56:22 -0300 |
| commit | cb309ae03af0dad4392b6a6d6dd7ddee8addc74b (patch) | |
| tree | e05dde01ebde17bfbb528aa53ca9f350e9ad96f9 /doc | |
| parent | 5303e35089e1a8ffcdb1d5891bc85d3f6c401a8f (diff) | |
| parent | 60b5ea319a45900b1e610715481faaa339ea3a4c (diff) | |
Merge branch 'release'
Diffstat (limited to 'doc')
| -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__ |