| commit | b132f99da2529ec991097115aa670454c199e439 | |
| author | Michael Olson <mwolson@gnu.org> | |
| Sat, 25 Jun 2005 04:44:00 +0000 (25 04:44 +0000) | ||
| committer | Michael Olson <mwolson@gnu.org> | |
| Sat, 25 Jun 2005 04:44:00 +0000 (25 04:44 +0000) | ||
| tree | 0a77d7268a5585ca716de7fa326469b2c0e9d5a6 | treesnapshot (tar.gz zip) |
| parent | fa8a013e2588aa10a06951e756f7a07e5ac3573d | commitdiff |
Make installation of manual when not using Debian go smoothly.
* Makefile.defs (INSTALLINFO): New variable that specifies what command
and options are to be used when insinuating the Muse documentation into
the Info menu.
* Makefile (install): Make use of INSTALLINFO.
* README (Installation): Give directions for changing INSTALLINFO on a
Debian system and changing where Muse is installed.
* muse.texi: Ditto.
git-archimport-id: mwolson@gnu.org--2005/muse--main--1.0--patch-80
* Makefile.defs (INSTALLINFO): New variable that specifies what command
and options are to be used when insinuating the Muse documentation into
the Info menu.
* Makefile (install): Make use of INSTALLINFO.
* README (Installation): Give directions for changing INSTALLINFO on a
Debian system and changing where Muse is installed.
* muse.texi: Ditto.
git-archimport-id: mwolson@gnu.org--2005/muse--main--1.0--patch-80
| ChangeLog | diffblobblamehistory | |
| Makefile | diffblobblamehistory | |
| Makefile.defs | diffblobblamehistory | |
| README | diffblobblamehistory | |
| muse.texi | diffblobblamehistory |