Upgraded man command

Wed Nov 24 16:55:00 GMT 2004

> -----Original Message-----
> From: Igor Pechtchanski
> Sent: Wednesday, November 24, 2004 11:32 AM
> To: Andy Hall
> Subject: RE: Upgraded man command
>> Andy,
>> Do you have both /etc/postinstall/man.sh and 
> /etc/postinstall/man.sh.done?
> If so, then the newer version of the postinstall script has 
> not completed
> properly. I'd run /etc/postinstall/man.sh and then rename it to
> /etc/postinstall/man.sh.done. If the only thing you have is
> /etc/postinstall/man.sh.done, then that's the script that 
> you'll need to
> re-run (don't worry about the timestamp, it doesn't have to 
> be after the
> install time). When you copied the default config file, you 
> did part of
> the job of that postinstall script (AFAICS, creating 
> manpath.exe is the
> other part, hence the question).

It's possible that he had the same problem I did,
which is that /usr/share/misc/man.conf did not have
write permission turned on (and so the file copying
operation failed).
Possibly, the following code in /etc/postinstall/man.sh
should be changed:
 if [ ! -e ${datadir}/misc/man.conf ] ; then
 cp ${datadir}/misc/man.conf.default ${datadir}/misc/man.conf
 chmod 644 ${datadir}/misc/man.conf
 fi
to:
 if [ ! -e ${datadir}/misc/man.conf ] ; then
 chmod 644 ${datadir}/misc/man.conf
 cp ${datadir}/misc/man.conf.default ${datadir}/misc/man.conf
 fi
----
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/