eclipse-gemoc / eclipse-gemoc/gemoc-studio

Decrease Doc size by removing some irrelevant content

Open
#95 2 comments 0 reactions 0 assignees View on GitHub
refactoring
Dominant language
PostScript
Stars
27
Forks
22
PR merge metrics
No merged PRs in 30d

Description

the current documentation jar is quite big with about 36MB
It seems to contain files that should not be there (images/images/poster.pdf 6.2MB images/images/Tesis.odp 7.5MB)

May be some content from these files should be reused to contribute to the documentation, or may be we should simply point to an online version of it (HAL for the Thesis ?)

Contributor guide

No contributing guide indexed for this repository

Research direction

Inspect the documentation jar contents, especially images/images/poster.pdf and images/images/Tesis.odp, to confirm what is included and why. Check whether relevant material should remain in the documentation or be replaced with an online reference such as HAL. Done means the unnecessary files are removed or the intended reuse and linking decision is documented.

Written by the indexing model from the issue text.

Assessment

Domain
documentation
Issue type
Documentation
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
38/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.