diff options
| author | Jim Meyering <jim@meyering.net> | 1999-05-15 05:46:45 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 1999-05-15 05:46:45 +0000 |
| commit | dad89f8b93eceed5081c068ff9f1056f0e5f58c6 (patch) | |
| tree | 5c54c7b944e050240effaa29637f6e5527011dad /doc | |
| parent | 23d3bb9416dcf7b8c1f4fdd1215dea8d34706201 (diff) | |
| download | coreutils-dad89f8b93eceed5081c068ff9f1056f0e5f58c6.tar.xz | |
.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 88739bd6f..72ad02ff8 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -109,6 +109,7 @@ EXTRA_DIST = perm.texi getdate.texi # and those names all map to one 14-byte name (<package>.info-) on some crufty # old systems. MAKEINFO = makeinfo --no-split +subdir = doc mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs CONFIG_HEADER = ../config.h CONFIG_CLEAN_FILES = @@ -235,8 +236,9 @@ uninstall-info: @if $(SHELL) -c 'install-info --version | sed 1q | fgrep -s -v -i debian' >/dev/null 2>&1; then \ list='$(INFO_DEPS)'; \ for file in $$list; do \ - echo " install-info --info-dir=$(DESTDIR)$(infodir) --remove $$file"; \ - install-info --info-dir=$(DESTDIR)$(infodir) --remove $$file; \ + d=$(srcdir); \ + echo " install-info --info-dir=$(DESTDIR)$(infodir) --remove $$d/$$file"; \ + install-info --info-dir=$(DESTDIR)$(infodir) --remove $$d/$$file; \ done; \ else :; fi @$(NORMAL_UNINSTALL) @@ -284,8 +286,6 @@ TAGS: distdir = $(top_builddir)/$(PACKAGE)-$(VERSION)/$(subdir) -subdir = doc - distdir: $(DISTFILES) here=`cd $(top_builddir) && pwd`; \ top_distdir=`cd $(top_distdir) && pwd`; \ |