diff options
Diffstat (limited to 'gnattools')
-rw-r--r-- | gnattools/ChangeLog | 4 | ||||
-rw-r--r-- | gnattools/Makefile.in | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 08429b372d8..948b733cf11 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,7 @@ +2007-03-01 Brooks Moses <brooks.moses@codesourcery.com> + + * Makefile.in: Add dummy install-pdf target. + 2007-02-11 Andreas Schwab <schwab@suse.de> * configure.ac: Update TOOLS_TARGET_PAIRS configuration to match 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. |