[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Orgmode] is make clean necessary?
|
From: |
Manish |
|
Subject: |
Re: [Orgmode] is make clean necessary? |
|
Date: |
Sat, 10 Jan 2009 13:21:24 +0530 |
On Sat, Jan 10, 2009 at 11:37 AM, Samuel Wales wrote:
> In the FAQ it says, "$ git pull && make clean && make && make doc &&
> make install".
>
> Does git pull set mtime correctly for make?
>
Yes, it does.
Please see:
1. http://www.mail-archive.com/address@hidden/msg03844.html
2.
http://markmail.org/message/jjvmn5lngrrv6w7k#query:+page:1+mid:frg7shvpxt4ccvs5+state:results
--
Manish