diff options
author | Richard M. Stallman <rms@gnu.org> | 1993-08-11 18:13:14 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1993-08-11 18:13:14 +0000 |
commit | 57a16fedc47b1dd5086dde3b53c97cbc60fa132d (patch) | |
tree | a52ee87b469ccf7233f2161360f2454a1fa83f6a | |
parent | 2e3b94e7e987f503b34ce1e4d11ad9b7f681b7bd (diff) |
(do-install): Install info/sc*.
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index f79d6716e3d..ef610abe2f8 100644 --- a/Makefile.in +++ b/Makefile.in @@ -364,7 +364,7 @@ do-install: mkdir if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \ ${INSTALL_DATA} dir ${infodir}/dir ; \ fi ; \ - for f in cl* emacs* forms* gnus* info* vip* ; do \ + for f in cl* emacs* forms* gnus* info* sc* vip* ; do \ ${INSTALL_DATA} $$f ${infodir}/$$f ; \ done); \ else true; fi |