# HG changeset patch
# User Akos Ladanyi <ladanyi@tmit.bme.hu>
# Date 1243356550 -3600
# Node ID e4378da8cfcbb53523e3a4171ee96e5ff4a1ada0
# Parent  dbf22d9222a2f26a20cb8005f582e4f550629bd8
Rename documentation install folder from 'docs' to 'html'

diff -r dbf22d9222a2 -r e4378da8cfcb doc/CMakeLists.txt
--- a/doc/CMakeLists.txt	Tue May 26 17:47:51 2009 +0100
+++ b/doc/CMakeLists.txt	Tue May 26 17:49:10 2009 +0100
@@ -35,7 +35,7 @@
   IF(UNIX)
     INSTALL(
       DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/html/
-      DESTINATION share/doc/lemon/docs
+      DESTINATION share/doc/lemon/html
       COMPONENT html_documentation
     )
   ELSEIF(WIN32)
diff -r dbf22d9222a2 -r e4378da8cfcb doc/Makefile.am
--- a/doc/Makefile.am	Tue May 26 17:47:51 2009 +0100
+++ b/doc/Makefile.am	Tue May 26 17:49:10 2009 +0100
@@ -91,19 +91,19 @@
 
 install-html-local: doc/html
 	@$(NORMAL_INSTALL)
-	$(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
+	$(mkinstalldirs) $(DESTDIR)$(htmldir)/html
 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
-	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
-	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
+	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \
+	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \
 	done
 
 uninstall-local:
 	@$(NORMAL_UNINSTALL)
 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
-	  echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
-	  rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
+	  echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \
+	  rm -f $(DESTDIR)$(htmldir)/html/$$f; \
 	done
 
 .PHONY: update-external-tags