diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index 1a0baa3d470a..c8ee8e847d19 100644
--- 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 3a1a0544271b..3bfa04f1d068 100644
--- 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: