Skip to content

docs: fix jperl --int -> jperl --interpreter#586

Merged
fglock merged 1 commit intomasterfrom
docs/fix-jperl-int-flag
Apr 28, 2026
Merged

docs: fix jperl --int -> jperl --interpreter#586
fglock merged 1 commit intomasterfrom
docs/fix-jperl-int-flag

Conversation

@fglock
Copy link
Copy Markdown
Owner

@fglock fglock commented Apr 28, 2026

Summary

Fix incorrect CLI flag in documentation. The interpreter backend is invoked with --interpreter, not --int (see ArgumentParser.java, which only registers --interpreter).

Replaced the three remaining standalone occurrences:

  • AGENTS.md
  • dev/design/refcount_alignment_plan.md
  • dev/modules/pod_html.md

(Most other files matched jperl --int only as a substring of jperl --interpreter and needed no change.)

Test plan

  • make passes
  • grep -r 'jperl --int\b' returns no matches

Generated with Devin

The CLI flag is `--interpreter`; `--int` was never accepted by
ArgumentParser. Replaced standalone occurrences in AGENTS.md,
dev/design/refcount_alignment_plan.md, and dev/modules/pod_html.md.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@fglock fglock merged commit 1451bf6 into master Apr 28, 2026
2 checks passed
@fglock fglock deleted the docs/fix-jperl-int-flag branch April 28, 2026 12:36
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.

1 participant