|
| From: | Akim Demaille |
| Subject: | Re: .texi.html: Add a touch? |
| Date: | Tue, 22 Jun 2004 11:15:44 +0200 |
| User-agent: | Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) |
>>> "Akim" == Akim Demaille <address@hidden> writes: >>> "Akim" == Akim Demaille <address@hidden> writes: >> makeinfo does not update timestamps of directories: > Is there a problem with this patch? Ping!
| [Prev in Thread] | Current Thread | [Next in Thread] |