Skip to content

FIX: resolve short_path cross-reference locally in os.md#16

Merged
mmcky merged 2 commits into
mainfrom
fix-shortpath-xref-os
May 28, 2026
Merged

FIX: resolve short_path cross-reference locally in os.md#16
mmcky merged 2 commits into
mainfrom
fix-shortpath-xref-os

Conversation

@mmcky
Copy link
Copy Markdown
Contributor

@mmcky mmcky commented May 28, 2026

short_path is a local lecture in lecture-dp (Introduction section in _toc.yml), but the {doc} reference in os.md linked to it externally via intro:short_path (→ intro.quantecon.org). This changes it to bare short_path so it resolves to the local lecture-dp page.

This introduces an intentional lecture-dp-specific intersphinx divergence from the lecture-python.myst source (where short_path doesn't exist locally and the intro: prefix is correct). Noted for #7.

🤖 Generated with Claude Code

short_path is a local lecture in lecture-dp (Introduction section), so
point the {doc} reference at the local page instead of the external
intro.quantecon.org site. This introduces an intentional lecture-dp-specific
intersphinx divergence from the lecture-python.myst source; see issue #7.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings May 28, 2026 00:38
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR fixes a cross-reference in the Optimal Savings lecture so the shortest paths link resolves to the local lecture-dp page instead of the external intro site.

Changes:

  • Updated the {doc} target in lectures/os.md from intro:short_path to local short_path.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Pulls in un_insure.md execution fix (#17) so CI passes.
@mmcky mmcky merged commit 99a5a21 into main May 28, 2026
1 check passed
@mmcky mmcky deleted the fix-shortpath-xref-os branch May 28, 2026 03:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants