Makefile.in: Add html and install-html targets.

2006-06-03  Carlos O'Donell  <carlos@codesourcery.com>

	* Makefile.in: Add html and install-html targets.

From-SVN: r114345

diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index 1a0baa3d470ae3c13ce6c2dedacfbe8b5b4bdd53..c8ee8e847d19e317d75854607f348f8d3d054bdc 100644 (file)
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,3 +1,7 @@
+2006-06-03  Carlos O'Donell  <carlos@codesourcery.com>
+
+       * Makefile.in: Add html and install-html targets.
+
 2005-03-09  Arnaud Charlet  <charlet@adacore.com>
 
        * Makefile.in: Fix incorrect use of ' in shell command

diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index 3a1a0544271be0a246eb6336e35e20383b19e11d..3bfa04f1d068be192b1caeb95bccb84c00ae4d94 100644 (file)
--- a/gnattools/Makefile.in
+++ b/gnattools/Makefile.in
@@ -302,6 +302,9 @@ info:
 # Build DVI (none here).
 dvi:
 
+# Build HTML (none here).
+html:
+
 # Build TAGS (none here).
 TAGS:
 
@@ -310,6 +313,8 @@ install:
 
 install-info:
 
+install-html:
+
 # Cleaning rules.
 mostlyclean: