Bastien writes:
> Kyle Meyer writes:
>
>> ian martins writes:
>>
>>> I pushed two days ago, but the manual hasn't updated yet. I guess it
>>> doesn't update on git hooks like worg. is there a scheduled process or is
>>> there something that must be done?
>>
>> The online manual corresponds to th
Hi Kyle,
Kyle Meyer writes:
> ian martins writes:
>
>> I pushed two days ago, but the manual hasn't updated yet. I guess it
>> doesn't update on git hooks like worg. is there a scheduled process or is
>> there something that must be done?
>
> The online manual corresponds to the latest release a
ian martins writes:
> I pushed two days ago, but the manual hasn't updated yet. I guess it
> doesn't update on git hooks like worg. is there a scheduled process or is
> there something that must be done?
The online manual corresponds to the latest release and updated with
each release (as far as
I pushed two days ago, but the manual hasn't updated yet. I guess it
doesn't update on git hooks like worg. is there a scheduled process or is
there something that must be done?
On Thu, Nov 5, 2020 at 11:03 PM Kyle Meyer wrote:
> ian martins writes:
>
> > Subject: [PATCH] org-manual.org: Remove
ian martins writes:
> Subject: [PATCH] org-manual.org: Remove language list and fix Worg link
>
> * doc/org-manual.org: Remove the language list and fix the Worg link
> since the languages page has moved. Renumber footnotes.
>
> The language list in the manual is missing many languages. Rather
>
Attached is an updated patch that renumbers footnotes since a few footnotes
were removed with the table.
On Wed, Nov 4, 2020 at 8:39 AM ian martins wrote:
> The language list in the manual is missing many languages. Rather
> than trying to keep the list up to date in two places that link to
> e
The language list in the manual is missing many languages. Rather
than trying to keep the list up to date in two places that link to
each other, this removes the list from the manual which is updated
less frequently.
The languages page was moved in Worg to make it the index page in the
languages
