summaryrefslogtreecommitdiff
path: root/gnattools
diff options
context:
space:
mode:
authorcarlos <carlos@138bc75d-0d04-0410-961f-82ee72b054a4>2006-06-03 17:16:11 +0000
committercarlos <carlos@138bc75d-0d04-0410-961f-82ee72b054a4>2006-06-03 17:16:11 +0000
commit4180eb7daf769970d6bf564a749f90eb89d0e0ba (patch)
tree9987be1c5f5e3e2df1e029628c7ae843e9c22f26 /gnattools
parent8f4b42fe602b7d4763f759a1a9be8ad59a8081bb (diff)
downloadgcc-4180eb7daf769970d6bf564a749f90eb89d0e0ba.tar.gz
2006-06-03 Carlos O'Donell <carlos@codesourcery.com>
* Makefile.in: Add html and install-html targets. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@114345 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gnattools')
-rw-r--r--gnattools/ChangeLog4
-rw-r--r--gnattools/Makefile.in5
2 files changed, 9 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index 1a0baa3d470..c8ee8e847d1 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 3a1a0544271..3bfa04f1d06 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: