bin/doinfo


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#!/bin/bash
# Copyright 1999-2006 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$

if [ ${#} -lt 1 ] ; then
	echo "doinfo: at least one argument needed"
	exit 1 	
fi
if [ ! -d "${D}usr/share/info" ] ; then
	install -d "${D}usr/share/info"
fi

for x in "$@" ; do
	if [ -e "${x}" ] ; then
		install -m0644 "${x}" "${D}usr/share/info"
		gzip -f -9 "${D}usr/share/info/${x##*/}"
	else
		echo "doinfo: ${x} does not exist"
	fi
done