Skip to content

Moves javadocs generation to a separate repo #7725

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

Draft
wants to merge 1 commit into
base: dev/feature
Choose a base branch
from

Conversation

Efnilite
Copy link
Member

@Efnilite Efnilite commented Mar 19, 2025

Description

Moves javadocs generation to a separate repo at https://github.com/SkriptLang/javadocs.

  • Results in easier storage
  • Avoids massive repo sizes for the new docs
    • Since the new docs uses GitHub Actions, the javadocs would also be incompatible with Astro
  • Allows for javadocs subdomain: jd.skriptlang.org or javadocs.skriptlang.org, which should have been the original solution, as the non-javadocs and javadocs are very different

Target Minecraft Versions: any
Requirements: none
Related Issues: none

@Efnilite Efnilite added documentation Related to Skript's official documentation. github related Issues or Pull requests that affect the GitHub organization/repositories labels Mar 19, 2025
@Efnilite Efnilite marked this pull request as draft March 19, 2025 00:03
@sovdeeth
Copy link
Member

sovdeeth commented Jul 2, 2025

Do you still intend to work on this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Related to Skript's official documentation. github related Issues or Pull requests that affect the GitHub organization/repositories
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants