Skip to content
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.

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

Move plugin sources to subdirectory and remove trailing whitespace #61

Closed
wants to merge 2 commits into from

Conversation

stweil
Copy link
Member

@stweil stweil commented Mar 21, 2024

No description provided.

stweil added 2 commits March 21, 2024 13:10
This simplifies the build script.

Signed-off-by: Stefan Weil <[email protected]>
@zuphilip
Copy link
Member

That looks fine for me. Do you know whether we still need the update.rdf which you didn't move?

@zuphilip
Copy link
Member

Ah, I see it is still used because and hard-coded in the install.rdf

em:updateURL="https://raw.githubusercontent.com/UB-Mannheim/zotero-ocr/master/update.rdf">

Because this is already distributed among every active user of the plugin, I guess, we cannot change that easily.

@stweil
Copy link
Member Author

stweil commented Mar 22, 2024

Yes, and update.rdf was also not part of the xpi file. The new src directory only contains files which should be included in the xpi file, so moving update.rdf to that directory would be wrong.

@stweil stweil mentioned this pull request Mar 25, 2024
@stweil
Copy link
Member Author

stweil commented Mar 25, 2024

Pull request #63 includes this pull request, so it can be closed.

@stweil stweil closed this Mar 25, 2024
@stweil stweil deleted the move branch March 25, 2024 08:46
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