diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2010-01-22 16:55:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2010-01-22 16:55:24 +0100 |
| commit | 0e64cbea3d22411564af302a63b670fe0617ccf3 (patch) | |
| tree | 6812950cb53afc2d3953f6997aefc8f2cb307650 | |
| parent | 73d1aaafb226b5e386b6b2eeacc40b836ff85940 (diff) | |
| download | guile-0e64cbea3d22411564af302a63b670fe0617ccf3.tar.gz | |
Install `standard-library.info'.
* doc/ref/Makefile.am (BUILT_SOURCES): Move `standard-library.texi'
to...
(nodist_info_TEXINFOS): ... here. New variable.
| -rw-r--r-- | doc/ref/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ref/Makefile.am b/doc/ref/Makefile.am index a5873434d..b7ea8f0a7 100644 --- a/doc/ref/Makefile.am +++ b/doc/ref/Makefile.am @@ -21,9 +21,10 @@ AUTOMAKE_OPTIONS = gnu -BUILT_SOURCES = lib-version.texi standard-library.texi +BUILT_SOURCES = lib-version.texi info_TEXINFOS = guile.texi +nodist_info_TEXINFOS = standard-library.texi guile_TEXINFOS = preface.texi \ intro.texi \ |