[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-
From: |
Michael Albinus |
Subject: |
bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch |
Date: |
Sun, 11 Feb 2024 09:18:58 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eric Abrahamsen <eric@ericabrahamsen.net> writes:
Hi Eric,
> I've attached the minimum workable approach, which just lets the user
> set the compile command to nil to skip compilation, and the relevant
> window rearrangements afterwards.
Looks OK in general. You need to adapt the :type of
debbugs-gnu-compile-command, and also to add some few words about in
debbugs-ug.texi.
Best regards, Michael.
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Michael Albinus, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eli Zaretskii, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eli Zaretskii, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/10
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch,
Michael Albinus <=
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/11
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Michael Albinus, 2024/02/11
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/16
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Michael Albinus, 2024/02/11
- bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch, Eric Abrahamsen, 2024/02/11