[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using GNU's install-info in Debian instead of dpkg's install-info
From: |
Karl Berry |
Subject: |
Re: Using GNU's install-info in Debian instead of dpkg's install-info |
Date: |
Fri, 26 May 2006 18:33:18 -0500 |
But, for me to consider it a solution, it would have to be run
by packages in their post-installs, which means manual edits would
be overwritten.
Am I understanding right? You want `make install' for every package to
regenerate the dir node from scratch, based on *every installed info
file*? I hope not ...
My assumption was that install-info would continue to just read
INFO-DIR-SECTION from the given file and install the given dir entries
in the given sections, and not try to look at any other info file.
That's what it (the GNU version) does now, and this seems right to me.
Maybe I'm not understanding what Debian install-info does.
Maybe another idea: keep a part of the file explicitly reserved
for manual additions, delimit it with some markers.
Well, the manual changes I personally make are typically fixing packages
which install themselves wrongly, so a separate part of the file
wouldn't help. However, I may be unusual in bothering to do such
things, and it's not critical in my life to support it. I doubt we need
to worry overmuch about manual editing.
Thanks,
karl
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Ian Zimmerman, 2006/05/25
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Karl Berry, 2006/05/25
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Ian Zimmerman, 2006/05/25
- Re: Using GNU's install-info in Debian instead of dpkg's install-info,
Karl Berry <=
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Ian Zimmerman, 2006/05/26
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Karl Berry, 2006/05/26
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Ian Zimmerman, 2006/05/26
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Eli Zaretskii, 2006/05/27
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Ian Zimmerman, 2006/05/27
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Eli Zaretskii, 2006/05/27
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Norbert Preining, 2006/05/27
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Norbert Preining, 2006/05/27
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Ian Zimmerman, 2006/05/27
- Re: Using GNU's install-info in Debian instead of dpkg's install-info, Norbert Preining, 2006/05/27