- Original Message -
From: "Francisco Vila"
To:
Cc: "Devel Team"
Sent: Thursday, May 03, 2012 4:18 PM
Subject: Re: make doc and make all
2012/5/3 m...@apollinemike.com :
Hey all,
I'm for the first time doing semi-complicated doc work w/ the website
th
2012/5/3 m...@apollinemike.com :
> Hey all,
>
> I'm for the first time doing semi-complicated doc work w/ the website thing
> and discovering a bit about the build system in the process. I learned today
> that `make doc' does not automatically `make all' if there are files that
> have been touc
- Original Message -
From:
To: "Devel Team"
Sent: Thursday, May 03, 2012 11:52 AM
Subject: make doc and make all
Hey all,
I'm for the first time doing semi-complicated doc work w/ the website
thing and discovering a bit about the build system in the process. I
lea
Hey all,
I'm for the first time doing semi-complicated doc work w/ the website thing and
discovering a bit about the build system in the process. I learned today that
`make doc' does not automatically `make all' if there are files that have been
touched. Would it be a good idea to roll a make
