8000 Feature request: `annotate` support for Texinfo documents (.texi) · Issue #828 · fsfe/reuse-tool · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Feature request: annotate support for Texinfo documents (.texi) #828

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
rekado opened this issue Sep 12, 2023 · 1 comment
Open

Feature request: annotate support for Texinfo documents (.texi) #828

rekado opened this issue Sep 12, 2023 · 1 comment
Labels
comment-styles Request for a new comment style, or fixing a bug with these stale

Comments

@rekado
Copy link
rekado commented Sep 12, 2023

.texi files for documentation in Texinfo format currently cannot be annotated automatically.

The files often start with \input texinfo, which may not be preceded by any other line. Below that line people often include an Emacs mode cookie comment such as @c -*-texinfo-*-.

Below that any other comments can be added. Comments start with @c.
@mxmehl mxmehl added the comment-styles Request for a new comment style, or fixing a bug with these label Sep 18, 2023
@github-actions GitHub Actions
Copy link

Thank you for your time and contributions! Unfortunately, this issue has been inactive for quite a while which means we probably can't manage the time to deal with it. That's why we're marking it as stale. We want to keep things tidy and focus on active discussions, but we’re always happy to revisit if this is still relevant!

If you’d like to keep this open, please add a comment to let us know and remove the label stale. Otherwise, this issue will most likely be automatically closed soon.

@github-actions github-actions bot added the stale label May 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
comment-styles Request for a new comment style, or fixing a bug with these stale
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rekado @mxmehl
0