diff options
| author | Carlos O'Donell <carlos@codesourcery.com> | 2006-06-03 17:16:11 +0000 |
|---|---|---|
| committer | Carlos O'Donell <carlos@gcc.gnu.org> | 2006-06-03 17:16:11 +0000 |
| commit | 4f3d90548b4590281766091564da0bb23515af75 (patch) | |
| tree | 9987be1c5f5e3e2df1e029628c7ae843e9c22f26 /gnattools | |
| parent | 898e551d6490cefea13715f0cdc396d6dc45e2f5 (diff) | |
| download | gcc-4f3d90548b4590281766091564da0bb23515af75.tar.gz | |
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
Diffstat (limited to 'gnattools')
| -rw-r--r-- | gnattools/ChangeLog | 4 | ||||
| -rw-r--r-- | gnattools/Makefile.in | 5 |
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: |