diff options
| author | carlos <carlos@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-06-03 17:16:11 +0000 |
|---|---|---|
| committer | carlos <carlos@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-06-03 17:16:11 +0000 |
| commit | 4180eb7daf769970d6bf564a749f90eb89d0e0ba (patch) | |
| tree | 9987be1c5f5e3e2df1e029628c7ae843e9c22f26 /gnattools/Makefile.in | |
| parent | 8f4b42fe602b7d4763f759a1a9be8ad59a8081bb (diff) | |
| download | ppe42-gcc-4180eb7daf769970d6bf564a749f90eb89d0e0ba.tar.gz ppe42-gcc-4180eb7daf769970d6bf564a749f90eb89d0e0ba.zip | |
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/Makefile.in')
| -rw-r--r-- | gnattools/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
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: |
