From f80c688f6f9e42b3aaf197687b7a36f9fa46db8c Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 15 Oct 2026 21:36:09 +0000 Subject: [PATCH 1/2] Instructions: cite a source on the bold alias itself Co-Authored-By: Claude Sonnet 5.5 Claude-Session: https://claude.ai/code/session_01CZKcRKHQWBS3kkHseDyiPr --- .github/copilot-instructions.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index e18c1a1..2b3c8a2 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -11,6 +11,8 @@ The source files for the lab manual are available at ). +In a `#def-` div, aliases of the term stay in the same div, in bold and in the div title. Cite a source that uses an alias on the bold alias itself, as in `**training error** [@hastie2009esl, sec. 7.2]`; never write "the book uses that name", because the citation already says so (Ezra, 2026-10-15). + For workflow fixes, do not restrict the publish workflow render target to HTML only. Keep publish rendering all configured formats and fix underlying failures instead. From 9cd48be490dae7e1e1b54c2baad8fb594e1dc894 Mon Sep 17 00:00:00 2001 From: Claude Date: Thu, 15 Oct 2026 21:38:27 +0000 Subject: [PATCH 2/2] Break the alias line one clause per line Co-Authored-By: Claude Sonnet 5.5 Claude-Session: https://claude.ai/code/session_01CZKcRKHQWBS3kkHseDyiPr --- .github/copilot-instructions.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 2b3c8a2..ba7b8d6 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -11,7 +11,11 @@ The source files for the lab manual are available at ). -In a `#def-` div, aliases of the term stay in the same div, in bold and in the div title. Cite a source that uses an alias on the bold alias itself, as in `**training error** [@hastie2009esl, sec. 7.2]`; never write "the book uses that name", because the citation already says so (Ezra, 2026-10-15). +In a `#def-` div, aliases of the term stay in the same div, in bold and in the div title. +Cite a source that uses an alias on the bold alias itself, +as in `**training error** [@hastie2009esl, sec. 7.2]`; +never write "the book uses that name", +because the citation already says so (Ezra, 2026-10-15). For workflow fixes, do not restrict the publish workflow render target to HTML only. Keep publish rendering all configured formats and fix underlying failures instead.