projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Handle doc-index*.html, not just doc-index.html
[ghc-hetmet.git]
/
docs
/
Makefile
diff --git
a/docs/Makefile
b/docs/Makefile
index
a9140dd
..
19d80b9
100644
(file)
--- a/
docs/Makefile
+++ b/
docs/Makefile
@@
-1,6
+1,12
@@
TOP = ..
include $(TOP)/mk/boilerplate.mk
TOP = ..
include $(TOP)/mk/boilerplate.mk
-SUBDIRS = docbook-cheat-sheet
+SUBDIRS = man docbook-cheat-sheet ext-core storage-mgt users_guide
+
+PAGES = index.html
+
+install-docs :: $(PAGES)
+ $(INSTALL_DIR) $(DESTDIR)$(htmldir)
+ $(INSTALL_DATA) $(INSTALL_OPTS) $(PAGES) $(DESTDIR)$(htmldir)
include $(TOP)/mk/target.mk
include $(TOP)/mk/target.mk