[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info --where: to tell what file it would open
|
From: |
Alper Ersoy |
|
Subject: |
Re: info --where: to tell what file it would open |
|
Date: |
Sat, 17 Jan 2004 14:23:57 +0200 |
|
User-agent: |
Mutt/1.4.1i |
Dan Jacobson:
> Info should have such an option too.
It has now. :) Patch attached.
Please note that since Info files are split into many smaller chunks,
this option prints the chunk name that contains the specified node.
I can change it to show the parent filename.
Thanks!
--
Alper Ersoy
where-option.diff
Description: Text document