[PATCH libICE docs] Add top-level target for documentation.

[Trevor Woerner]

On Mon, Nov 22, 2010 at 7:21 PM, Gaetan Nadon <memsize at videotron.ca> wrote:
> On Mon, 2010-11-22 at 17:26 -0500, Trevor Woerner wrote:
> -.PHONY: ChangeLog INSTALL
> +.PHONY: ChangeLog INSTALL documents
>
> I don't think it should be a PHONY target, "documents" is not a file.
> It's like the lint target.

I thought this is exactly the sort of scenario where a PHONY target is
used. From "info make":

"A phony target is one that is not really the name of a file. It is
just a name for some commands to be executed when you make an explicit
request."

In other words, when you're done performing "make documents" you don't
actually end up with a file called "documents" the way you would if
you did, say, a "make hello" in a "hello world" project. "make
documents" is just a way to invoke this set of commands from within
the Makefile.