about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-11-29T00·31+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-11-29T00·31+0000
commit09bc0c502c4a52baf0bd363d8ee5f18d49244f73 (patch)
treec123a92cc27ed0f8176db60ce464cd34d1f1c368 /doc/manual
parent5d4eb9dd07ddd589ec03582c3eeb82d490023282 (diff)
* Install the release notes.
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/Makefile.am4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 392a6d71ddc8..432dd6bde507 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -79,10 +79,14 @@ all-local: manual.html NEWS.html NEWS.txt
 install-data-local: manual.html
 	$(INSTALL) -d $(DESTDIR)$(docdir)/manual
 	$(INSTALL_DATA) manual.html $(DESTDIR)$(docdir)/manual
+	ln -sf manual.html $(DESTDIR)$(docdir)/manual/index.html
 	$(INSTALL_DATA) style.css $(DESTDIR)$(docdir)/manual
 	cp -r images $(DESTDIR)$(docdir)/manual/images
 	$(INSTALL) -d $(DESTDIR)$(docdir)/manual/figures
 	$(INSTALL_DATA) $(FIGURES) $(DESTDIR)$(docdir)/manual/figures
+	$(INSTALL) -d $(DESTDIR)$(docdir)/release-notes
+	$(INSTALL_DATA) NEWS.html $(DESTDIR)$(docdir)/release-notes/index.html
+	$(INSTALL_DATA) style.css $(DESTDIR)$(docdir)/release-notes/
 
 images:
 	mkdir images