[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #27602] GRUB 2 tries to install documentation without texinfo
From: |
Thomas A. Anderson |
Subject: |
[bug #27602] GRUB 2 tries to install documentation without texinfo |
Date: |
Mon, 05 Oct 2009 06:35:44 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.8) Gecko/2009033100 Ubuntu/9.04 (jaunty) Firefox/3.0.8 |
URL:
<http://savannah.gnu.org/bugs/?27602>
Summary: GRUB 2 tries to install documentation without
texinfo
Project: GNU GRUB
Submitted by: neo_the_user
Submitted on: Mon 05 Oct 2009 06:35:43 AM GMT
Category: Installation
Severity: Major
Priority: 5 - Normal
Item Group: Software Error
Status: None
Privacy: Public
Assigned to: None
Originator Name: Alec Ari
Originator Email: address@hidden
Open/Closed: Open
Discussion Lock: Any
Release:
Release: SVN
Reproducibility: Every Time
Planned Release: None
_______________________________________________________
Details:
GRUB 2 tries to install documentation without texinfo installed. make and
./configure report no error.
# make install
/usr/bin/mkdir -p docs
true -P ./docs --no-split --force docs/grub.texi -o docs/grub.info || :
/bin/sh ./mkinstalldirs /usr/lib/`echo grub/i386-pc | sed 's,x,x,'`
rm -f /usr/lib/`echo grub/i386-pc | sed 's,x,x,'`/*
/bin/sh ./mkinstalldirs /usr/share/`echo grub | sed 's,x,x,'`
/bin/sh ./mkinstalldirs /usr/bin /usr/share/man/man1
/bin/sh ./mkinstalldirs /usr/sbin /usr/share/man/man8
/bin/sh ./mkinstalldirs /usr/etc/grub.d
/bin/sh ./mkinstalldirs /usr/lib/grub
/bin/sh ./mkinstalldirs /usr/share/info
/usr/bin/ginstall: cannot stat `./docs/grub.info': No such file or directory
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?27602>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [bug #27602] GRUB 2 tries to install documentation without texinfo,
Thomas A. Anderson <=