summaryrefslogtreecommitdiffstats
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/Makefile2
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)