Commit f485fc26 authored by Guillaume Lazzara's avatar Guillaume Lazzara
Browse files

Fix Milena doc (un)installation.

	* doc/Doxyfile.in: Fix paths.

	* doc/Makefile.am: Fix install/uninstall rules.
parent c6e3ab61
2012-02-01 Guillaume Lazzara <z@lrde.epita.fr>
Fix Milena doc (un)installation.
* doc/Doxyfile.in: Fix paths.
* doc/Makefile.am: Fix install/uninstall rules.
2013-03-07 Guillaume Lazzara <z@lrde.epita.fr>
 
* test/unit_test/unit-tests.mk: Update.
......@@ -122,7 +122,7 @@ INPUT_FILTER =
FILTER_PATTERNS =
FILTER_SOURCE_FILES = NO
INPUT_ENCODING = ISO-8859-1
CITE_BIB_FILES = @top_srcdir@/doc/doc.bib
#---------------------------------------------------------------------------
# configuration options related to source browsing
#---------------------------------------------------------------------------
......@@ -149,7 +149,7 @@ HTML_FILE_EXTENSION = .html
HTML_HEADER = @top_srcdir@/doc/header.html
HTML_FOOTER = @top_srcdir@/doc/subdoc_footer.html
HTML_STYLESHEET = @top_srcdir@/doc/doxygen.css
LAYOUT_FILE = @top_srcdir@/doc/DoxygenLayout.xml
LAYOUT_FILE = @top_srcdir@/milena/doc/DoxygenLayout.xml
HTML_ALIGN_MEMBERS = YES
GENERATE_HTMLHELP = NO
CHM_FILE =
......
......@@ -739,11 +739,11 @@ DATA_html_dirs_inst = $(WHITE_PAPER)
# .../srcdoc", which installs our dir into the previous one, instead
# of replacing it.
install-data-local:
$(mkdir_p) $(DESTDIR)$(htmldir)
$(mkdir_p) $(DESTDIR)$(htmldir)/$(USER_REFMAN)
# The user reference manual is located in a subdirectory, hence this
# special case.
rm -rf $(DESTDIR)$(htmldir)/$(USER_REFMAN)
cp -r $(srcdir)/$(USER_REFMAN)/html $(DESTDIR)$(htmldir)/$(USER_REFMAN)
rm -rf $(DESTDIR)$(htmldir)/$(USER_REFMAN)/milena
cp -r $(srcdir)/$(USER_REFMAN)/html $(DESTDIR)$(htmldir)/$(USER_REFMAN)/milena
# Other HTML directories can be processed uniformly.
for d in $(DATA_html_dirs_inst); do \
rm -rf $(DESTDIR)$(htmldir)/$$d; \
......@@ -762,5 +762,5 @@ uninstall-local:
done
# Same remark as above regarding the special case of the user
# reference manual.
chmod -R 700 $(DESTDIR)$(htmldir)/$(USER_REFMAN)
rm -rf $(DESTDIR)$(htmldir)/$(USER_REFMAN)
chmod -R 700 $(DESTDIR)$(htmldir)/$(USER_REFMAN)/milena
rm -rf $(DESTDIR)$(htmldir)/$(USER_REFMAN)/milena
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment