[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info-find-source
From: |
Eli Zaretskii |
Subject: |
Re: info-find-source |
Date: |
Sat, 20 Jan 2018 22:18:50 +0200 |
> From: Emanuel Berg <moasen@zoho.com>
> Date: Sat, 20 Jan 2018 20:49:22 +0100
>
> The "by hand" phrasing is where the confusion
> begins because it seems to imply there is
> a better way to "edit" them. But to me it seems
> totally backward to edit the result of
> compilation and I don't think I ever did that
> because wouldn't not only update but also
> recompilation overwrite the edits?
>
> In general one should edit the source! and here
> one could simply keep a text file with any
> extra material.
That command exists because Info files predate the makeinfo program;
the first Info files were made by hand, because makeinfo didn't yet
exist.
- Re: info-find-source, (continued)
- Re: info-find-source, Marcin Borkowski, 2018/01/15
- Message not available
- Re: info-find-source, Emanuel Berg, 2018/01/15
- Re: info-find-source, Robert Thorpe, 2018/01/16
- Re: info-find-source, Marcin Borkowski, 2018/01/19
- Message not available
- Re: info-find-source, Emanuel Berg, 2018/01/19
- Re: info-find-source, Marcin Borkowski, 2018/01/19
- RE: info-find-source, Drew Adams, 2018/01/19
- Message not available
- Re: info-find-source, Emanuel Berg, 2018/01/19
- RE: info-find-source, Drew Adams, 2018/01/19
- Message not available
- Re: info-find-source, Emanuel Berg, 2018/01/20
- Re: info-find-source,
Eli Zaretskii <=
- RE: info-find-source, Drew Adams, 2018/01/20
- RE: info-find-source, Drew Adams, 2018/01/20
- Message not available
- Re: info-find-source, Emanuel Berg, 2018/01/21
- Message not available
- Re: info-find-source, Emanuel Berg, 2018/01/19
Re: info-find-source, Marcin Borkowski, 2018/01/13
Message not available
Re: info-find-source, Emanuel Berg, 2018/01/12
Re: info-find-source, Emanuel Berg, 2018/01/13