<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/3.26.0">
</HEAD>
<BODY>
On Mon, 2010-11-22 at 17:26 -0500, Trevor Woerner wrote:<BR>
<BLOCKQUOTE TYPE=CITE>
    <TT><FONT COLOR="#1a1a1a">-.PHONY: ChangeLog INSTALL</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">+.PHONY: ChangeLog INSTALL documents</FONT></TT><BR>
</BLOCKQUOTE>
I don't think it should be a PHONY target, &quot;documents&quot; is not a file.<BR>
It's like the lint target.<BR>
<BLOCKQUOTE TYPE=CITE>
    <TT><FONT COLOR="#1a1a1a">&nbsp;</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">&nbsp;INSTALL:</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;$(INSTALL_CMD)</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">@@ -15,6 +15,11 @@ ChangeLog:</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">&nbsp;</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">&nbsp;dist-hook: ChangeLog INSTALL</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">&nbsp;</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">+# Generically invoked from build.sh --cmd &quot;make documents&quot;</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">+# Builds User's documentation and Developer's documentation/specifications</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">+documents:</FONT></TT><BR>
    <TT><FONT COLOR="#1a1a1a">+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;cd specs &amp;&amp; $(MAKE) $(AM_MAKEFLAGS) install</FONT></TT><BR>
    <BR>
</BLOCKQUOTE>
</BODY>
</HTML>