diff options
Diffstat (limited to 'gnattools')
| -rw-r--r-- | gnattools/ChangeLog | 4 | ||||
| -rw-r--r-- | gnattools/Makefile.in | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index c8ee8e847d1..30e9f047648 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,7 @@ +2006-10-10 Brooks Moses <bmoses@stanford.edu> + + * Makefile.in: Added empty "pdf" target. + 2006-06-03 Carlos O'Donell <carlos@codesourcery.com> * Makefile.in: Add html and install-html targets. diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 3bfa04f1d06..7d67c4fd856 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -302,6 +302,9 @@ info: # Build DVI (none here). dvi: +# Build PDF (none here). +pdf: + # Build HTML (none here). html: |