Skip to content

Commit 7dbf673

Browse files
Misc updates
1 parent 075a069 commit 7dbf673

File tree

5 files changed

+13
-8
lines changed

5 files changed

+13
-8
lines changed

.github/CODEOWNERS

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -489,9 +489,10 @@ Lib/test/test_html*.py @ezio-melotti
489489
Tools/build/parse_html5_entities.py @ezio-melotti
490490

491491
# IDLE
492-
Doc/library/idle.rst @terryjreedy
493-
Lib/idlelib/ @terryjreedy
494-
Lib/turtledemo/ @terryjreedy
492+
Doc/library/idle.rst @terryjreedy
493+
Lib/idlelib/ @terryjreedy
494+
Lib/turtledemo/ @terryjreedy
495+
Tools/build/generate_idle_help.py @terryjreedy
495496

496497
# importlib.metadata
497498
Doc/library/importlib.metadata.rst @jaraco @warsaw

.github/workflows/build.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ jobs:
5050
uses: ./.github/workflows/reusable-docs.yml
5151

5252
check-idle-help-doc:
53-
name: "Check if IDLE's help.html is up to date"
53+
name: IDLE help doc
5454
needs: check-docs
5555
uses: ./.github/workflows/reusable-idle-help-doc.yml
5656

.github/workflows/reusable-idle-help-doc.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,9 @@ env:
1111

1212
jobs:
1313
check-idle-doc-sync:
14-
name: 'Check IDLE help.html sync'
14+
name: 'Check if Lib/idlelib/help.html needs to be regenerated'
1515
runs-on: ubuntu-latest
16-
timeout-minutes: 10 # XXX run and possibly lower!
16+
timeout-minutes: 5
1717
steps:
1818
- uses: actions/checkout@v4
1919
with:
@@ -28,7 +28,7 @@ jobs:
2828
with:
2929
python-version: '3'
3030
- name: 'Regenerate Lib/idlelib/help.html'
31-
run: python Tools/build/generate_idle_help.py
31+
run: python ../Tools/build/generate_idle_help.py
3232
working-directory: Doc
3333
- name: 'Check for changes'
3434
run: |

Doc/library/idle.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ IDLE --- Python editor and shell
1313
single: Integrated Development Environment
1414

1515
..
16-
Remember to update Lib/idlelib/help.html with idlelib.help.copy_strip() when modifying this file.
16+
Remember to update Lib/idlelib/help.html with make idlehelp when modifying this file.
1717
1818
--------------
1919

Makefile.pre.in

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3231,6 +3231,10 @@ rmtestturds:
32313231
docclean:
32323232
$(MAKE) -C $(srcdir)/Doc clean
32333233

3234+
.PHONY: idlehelp
3235+
idlehelp:
3236+
@echo "To regenerate Lib/idlelib/help.html, run make idlehelp in the Doc directory."
3237+
32343238
# like the 'clean' target but retain the profile guided optimization (PGO)
32353239
# data. The PGO data is only valid if source code remains unchanged.
32363240
.PHONY: clean-retain-profile

0 commit comments

Comments
 (0)