Hello,
On Thu 11 Jul 2024 at 03:14pm +02, Aymeric Agon-Rambosson wrote:
> Hi,
>
> Le jeudi 11 juillet 2024 à 08:09, Sean Whitton a
> écrit :
>
>> If you were going to make complex edits you would always fix it in the
>> .org and regenerate the .texi, right?
>
> That would indeed be my own prefer
Hi,
Le jeudi 11 juillet 2024 à 08:09, Sean Whitton
a écrit :
If you were going to make complex edits you would always fix it
in the
.org and regenerate the .texi, right?
That would indeed be my own preference, yes.
I just did not think that I could deduce from it that it was
upstream
Hello,
On Wed 10 Jul 2024 at 06:45pm +02, Aymeric Agon-Rambosson wrote:
> I was not aware of this idea of preferred source for
> modification. Nonetheless, I do not think it is that obvious that the .org
> file is the preferred source for modification. If it was, why ship the .texi
> file at all
Hi,
Le mercredi 10 juillet 2024 à 09:06, Sean Whitton
a écrit :
We must be able to rebuild the files from the preferred source
for
modification. If we don't know that we can rebuild the .texi
from the
.org using only what's in Debian, then it would be an RC bug.
I was not aware of thi
Hello,
On Wed 10 Jul 2024 at 02:38am +02, Aymeric Agon-Rambosson wrote:
> Hi Sean,
>
> Le mardi 9 juillet 2024 à 21:56, Sean Whitton a
> écrit :
>
>> If we don't rebuild the docs, it's hard to be confident that it *can* be
>> rebuilt with only tools in main. And if it can't be rebuilt with only
Hi Sean,
Le mardi 9 juillet 2024 à 21:56, Sean Whitton
a écrit :
If we don't rebuild the docs, it's hard to be confident that it
*can* be
rebuilt with only tools in main. And if it can't be rebuilt
with only tools
in main, it's not DFSG-free.
I should have been clearer in the message.
Hello Aymeric,
On Tue, Jul 09, 2024 at 01:35:07PM +, Debian FTP Masters wrote:
> Changes:
> org-roam (2.2.2-2) unstable; urgency=medium
> .
>* Adopt the package from Sean Whitton.
>* Bump standards version to 4.6.2 (no changes required).
>* Stop rebuilding texi documentation, use
7 matches
Mail list logo