diff options
-rw-r--r-- | documentation/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 67885a9981..3941cf88ee 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -71,9 +71,10 @@ | |||
71 | 71 | ||
72 | ifeq ($(DOC),bsp-guide) | 72 | ifeq ($(DOC),bsp-guide) |
73 | XSLTOPTS = --xinclude | 73 | XSLTOPTS = --xinclude |
74 | ALLPREQ = html pdf tarball | 74 | ALLPREQ = html pdf eclipse tarball |
75 | TARFILES = bsp-style.css bsp-guide.html bsp-guide.pdf figures/bsp-title.png | 75 | TARFILES = bsp-style.css bsp-guide.html bsp-guide.pdf figures/bsp-title.png \ |
76 | MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf | 76 | eclipse |
77 | MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf $(DOC)/eclipse | ||
77 | FIGURES = figures | 78 | FIGURES = figures |
78 | STYLESHEET = $(DOC)/*.css | 79 | STYLESHEET = $(DOC)/*.css |
79 | 80 | ||