diff options
Diffstat (limited to 'libada/Makefile.in')
| -rw-r--r-- | libada/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libada/Makefile.in b/libada/Makefile.in index 6133b175e29..5a7bfcc5d0a 100644 --- a/libada/Makefile.in +++ b/libada/Makefile.in @@ -116,6 +116,9 @@ info: # Build DVI (none here). dvi: +# Build PDF (none here). +pdf: + # Build html (none here). html: |