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

[gcc.git] / gnattools / Makefile.in

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: