Graham Percival <[email protected]> writes:

> On Sat, Dec 19, 2009 at 06:29:44PM -0800, Mark Polesky wrote:
>> 1) Is there a difference between...
>>    ...`make doc' and `make doc *'?
>
> I've been documentation editor for six years, and I don't have a
> clue what `make doc *' does.

It means make the target doc, as well as any files that happen to be in
the current directory.  Since most of the files are already there or up
to date...

-- 
David Kastrup



_______________________________________________
lilypond-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to