* Makefile.in: Add dummy install-pdf target.

[pf3gnuchains/gcc-fork.git] / gnattools / Makefile.in

diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index 3a1a054..830fffb 100644 (file)
--- a/gnattools/Makefile.in
+++ b/gnattools/Makefile.in
@@ -38,7 +38,6 @@ TRACE=no
 ADA_FOR_BUILD=
 ADA_FOR_TARGET=
 LDFLAGS=
-STAGE_PREFIX=
 PWD_COMMAND = $${PWDCMD-pwd}
 
 # The tedious process of getting CFLAGS right.
@@ -302,6 +301,12 @@ info:
 # Build DVI (none here).
 dvi:
 
+# Build PDF (none here).
+pdf:
+
+# Build HTML (none here).
+html:
+
 # Build TAGS (none here).
 TAGS:
 
@@ -310,6 +315,10 @@ install:
 
 install-info:
 
+install-pdf:
+
+install-html:
+
 # Cleaning rules.
 mostlyclean: