[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #41026] "make distclean" doesn't clean generated HTML files
From: |
Markus Hitter |
Subject: |
[bug #41026] "make distclean" doesn't clean generated HTML files |
Date: |
Sun, 29 Dec 2013 15:25:01 +0000 |
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:26.0) Gecko/20100101 Firefox/26.0 |
URL:
<http://savannah.gnu.org/bugs/?41026>
Summary: "make distclean" doesn't clean generated HTML files
Project: GNUstep
Submitted by: hitterm
Submitted on: So 29 Dez 2013 15:25:00 GMT
Category: Makefiles
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
Steps to reproduce:
. .../GNUstep.sh
cd path/to/core/gui # same for core/base
git status
./configure
cd Documentation
make
make distclean
git status
While both "git status" should show the same in Documentation/ (nothing), the
second one shows 19 files left:
# manual/AppKit.html
# manual/AppKit_1.html
# manual/AppKit_10.html
[...]
This breaks multiple test runs in Debian packaging, manual deletion is
neccessary.
Note: "git status" shows differences between repo and actual file system
contents, I guess just like "svn status".
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41026>
_______________________________________________
Nachricht gesendet von/durch Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #41026] "make distclean" doesn't clean generated HTML files,
Markus Hitter <=