[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
log files not deleted by doc-clean
|
From: |
Jean-Charles Malahieude |
|
Subject: |
log files not deleted by doc-clean |
|
Date: |
Sun, 26 Feb 2012 14:06:39 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:10.0.1) Gecko/20120209 Thunderbird/10.0.1 |
Hi !
Regarding issues 2302 and 2311, which by the way are very comfortable,
I just noticed that no log file is deleted when running either
"make doc-clean" or "make clean".
Cheers,
Jean-Charles
- log files not deleted by doc-clean,
Jean-Charles Malahieude <=