diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-19T13·19+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-19T13·19+0000 |
| commit | 2369b122d19c7a08fc6e38e5a8aab90636ed4132 (patch) | |
| tree | 28a95d3cd2e41962096ab1b653738f69a089c2f8 /doc/manual | |
| parent | 6c2c771af7b1fc35a33e1faf0e4e7b266fe44e79 (diff) | |
* Install documentation in $(docdir) (i.e. share/doc/nix).
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/Makefile.am | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 62a7e9bff410..20c9e1beec4f 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -75,12 +75,12 @@ NEWS.txt: release-notes.xml all-local: manual.html NEWS.html NEWS.txt install-data-local: manual.html - $(INSTALL) -d $(DESTDIR)$(datadir)/nix/manual - $(INSTALL_DATA) manual.html $(DESTDIR)$(datadir)/nix/manual - $(INSTALL_DATA) style.css $(DESTDIR)$(datadir)/nix/manual - cp -r images $(DESTDIR)$(datadir)/nix/manual/images - $(INSTALL) -d $(DESTDIR)$(datadir)/nix/manual/figures - $(INSTALL_DATA) $(FIGURES) $(DESTDIR)$(datadir)/nix/manual/figures + $(INSTALL) -d $(DESTDIR)$(docdir)/manual + $(INSTALL_DATA) manual.html $(DESTDIR)$(docdir)/manual + $(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 images: mkdir images |