Skip to content

Comments

Convert to HTML+JS#1

Open
Mortal wants to merge 1 commit intokandevander:mainfrom
Mortal:spa
Open

Convert to HTML+JS#1
Mortal wants to merge 1 commit intokandevander:mainfrom
Mortal:spa

Conversation

@Mortal
Copy link

@Mortal Mortal commented Feb 19, 2026

ChatGPT prompt: https://chatgpt.com/share/699749c2-a014-8006-a3f3-a7e5a261ffb5

"Here's a Python script that does some validation of user-supplied .tex files. I want it translated to a simple HTML+JS single-page app where you can input files in a <input type=file multiple> and then the diagnostic messages are printed in a simple div."
...followed by the contents of revycheck.py.

ChatGPT prompt: https://chatgpt.com/share/699749c2-a014-8006-a3f3-a7e5a261ffb5

"Here's a Python script that does some validation of user-supplied .tex
files. I want it translated to a simple HTML+JS single-page app where
you can input files in a <input type=file multiple> and then the
diagnostic messages are printed in a simple div."
...followed by the contents of revycheck.py.
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