diff options
| author | brooks <brooks@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-03-01 23:55:34 +0000 |
|---|---|---|
| committer | brooks <brooks@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-03-01 23:55:34 +0000 |
| commit | 9d2d64c04aa5e312aed996b2816a19157ae7e05c (patch) | |
| tree | c7e783f468c4eb877b08b84aefdebc83d7c5270c /gnattools/Makefile.in | |
| parent | b4eedf89cd4688060cd3eae198901942cd73fad8 (diff) | |
| download | ppe42-gcc-9d2d64c04aa5e312aed996b2816a19157ae7e05c.tar.gz ppe42-gcc-9d2d64c04aa5e312aed996b2816a19157ae7e05c.zip | |
* Makefile.in: Add dummy install-pdf target.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@122444 138bc75d-0d04-0410-961f-82ee72b054a4
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 fe408ea4d02..830fffb93b3 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -315,6 +315,8 @@ install: install-info: +install-pdf: + install-html: # Cleaning rules. |
