[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: installing Info documentation
|
From: |
Taylor R Campbell |
|
Subject: |
Re: installing Info documentation |
|
Date: |
Fri, 1 May 2020 02:14:42 +0000 |
> Date: Thu, 30 Apr 2020 18:23:07 -0700
> From: "Arthur A. Gleckler" <address@hidden>
>
> What's the standard way to install Info documentation these days? I see
> doc/Makefile.in, but no Makefile nor .info files.
cd mit-scheme/doc
autoconf
./configure
make
make install
That should install:
- /usr/local/share/info/mit-scheme-ffi.info.gz
- /usr/local/share/info/mit-scheme-ref.info.gz
- /usr/local/share/info/mit-scheme-sos.info.gz
- /usr/local/share/info/mit-scheme-user.info.gz
As usual, you can set --prefix=/wherever to replace /usr/local, and
--infodir=mumblefrotz to replace share/info, if you want, and set
DESTDIR=/tmp/destdir to `make install' if you want to stage it first
before actually writing to the prefix.