diff options
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 392a6d71dd..432dd6bde5 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 |