mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-06-12 23:00:22 +02:00
* Makefile.in (distclean): Don't forget to delete doc/Makefile.
This commit is contained in:
parent
30d14d5598
commit
6bf4116066
1 changed files with 1 additions and 0 deletions
|
@ -112,6 +112,7 @@ distclean:
|
|||
rm -f config.log
|
||||
rm -f config.status
|
||||
rm -f Makefile
|
||||
rm -f doc/Makefile
|
||||
for dir in ${subdirs}; do \
|
||||
cd $$dir; \
|
||||
${MAKE} distclean; \
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue