diff options
| -rw-r--r-- | documentation/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 903f5917e1..fdf2385ea8 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
| @@ -225,9 +225,10 @@ endif | |||
| 225 | 225 | ||
| 226 | ifeq ($(DOC),adt-manual) | 226 | ifeq ($(DOC),adt-manual) |
| 227 | XSLTOPTS = --xinclude | 227 | XSLTOPTS = --xinclude |
| 228 | ALLPREQ = html pdf tarball | 228 | ALLPREQ = html pdf eclipse tarball |
| 229 | TARFILES = adt-manual.html adt-manual.pdf adt-style.css figures/adt-title.png | 229 | TARFILES = adt-manual.html adt-manual.pdf adt-style.css figures/adt-title.png \ |
| 230 | MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf | 230 | eclipse |
| 231 | MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf $(DOC)/eclipse | ||
| 231 | FIGURES = figures | 232 | FIGURES = figures |
| 232 | STYLESHEET = $(DOC)/*.css | 233 | STYLESHEET = $(DOC)/*.css |
| 233 | endif | 234 | endif |
