diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 2807f12bae..2668f31f0b 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -337,7 +337,7 @@ else | |||
337 | -o eclipse/$(DOC).html \ | 337 | -o eclipse/$(DOC).html \ |
338 | $(DOC)-eclipse-customization.xsl $(DOC).xml && \ | 338 | $(DOC)-eclipse-customization.xsl $(DOC).xml && \ |
339 | mv eclipse/toc.xml eclipse/$(DOC)-toc.xml && \ | 339 | mv eclipse/toc.xml eclipse/$(DOC)-toc.xml && \ |
340 | cp -rf $(FIGURES) eclipse/$(BASE_DIR)/$(FIGURES) && \ | 340 | cp -rf $(FIGURES) eclipse/$(BASE_DIR) && \ |
341 | cd ..; | 341 | cd ..; |
342 | 342 | ||
343 | $(call modify-eclipse) | 343 | $(call modify-eclipse) |