diff options
| author | Brooks Moses <brooks.moses@codesourcery.com> | 2007-03-01 23:55:34 +0000 |
|---|---|---|
| committer | Brooks Moses <brooks@gcc.gnu.org> | 2007-03-01 15:55:34 -0800 |
| commit | 32f1ac6d595c5d488e4d55393f4202f1dafd7aa5 (patch) | |
| tree | c7e783f468c4eb877b08b84aefdebc83d7c5270c /gnattools/Makefile.in | |
| parent | b31f84844a9de43b1835e6708a4c438b5360c510 (diff) | |
| download | gcc-32f1ac6d595c5d488e4d55393f4202f1dafd7aa5.zip gcc-32f1ac6d595c5d488e4d55393f4202f1dafd7aa5.tar.gz gcc-32f1ac6d595c5d488e4d55393f4202f1dafd7aa5.tar.bz2 | |
* Makefile.in: Add dummy install-pdf target.
From-SVN: r122444
Diffstat (limited to 'gnattools/Makefile.in')
| -rw-r--r-- | gnattools/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index fe408ea..830fffb 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -315,6 +315,8 @@ install: install-info: +install-pdf: + install-html: # Cleaning rules. |