diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-29T00·31+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-29T00·31+0000 |
| commit | 09bc0c502c4a52baf0bd363d8ee5f18d49244f73 (patch) | |
| tree | c123a92cc27ed0f8176db60ce464cd34d1f1c368 /doc/manual | |
| parent | 5d4eb9dd07ddd589ec03582c3eeb82d490023282 (diff) | |
* Install the release notes.
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/Makefile.am | 4 |
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 |