|
From: | Karl Fogel |
Subject: | Re: Improving documentation of Org Mode integration into Emacs. |
Date: | Mon, 10 Jan 2022 10:10:50 -0600 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
On 10 Jan 2022, Robert Pluim wrote:
On Mon, 10 Jan 2022 03:13:22 -0600, Karl Fogel <kfogel@red-bean.com> said:Karl> On 10 Jan 2022, Michael Albinus wrote:>> PS: doc/misc/org.texi is a generated file, no need to >> mention it.Karl> Interesting -- it is version-controlled, in both the Emacs and the OrgKarl> Mode repositories: Karl> Emacs: doc/misc/org.texi Karl> Org Mode: doc/org.texiIt was version controlled in Emacs, but was deleted by fddd63f8. Ofcourse itʼs still in the git history.
Oh, sigh, thanks. Today I learned that using 'git log' is not the way to check if a file is *currently* versioned at a certain path. One should instead use
$ git ls-files doc/misc/org.texi or better yet $ git ls-files --error-unmatch doc/misc/org.texi I'll take 'doc/misc/org.texi out of the change. Best regards, -Karl
[Prev in Thread] | Current Thread | [Next in Thread] |