diff options
Diffstat (limited to 'documentation')
-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 |