[Top][All Lists]

[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 <address@hidden>
> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]