mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-10-28 14:08:45 -04:00
spa77k
9c04882cc1
Closes #9394 ## Summary The _User CSS_ and _User JS_ sections already existed in the user documentation, but they did not say where to find the settings. This explains that each extension has a gear icon (_Manage_) next to its switch, and gives the steps to use both extensions. ## Changes - `docs/en/users/05_Configuration.md`: describe the extension list (switch, gear icon, name), add the steps for User CSS, and the same for User JS with a note that it might ask to sign in again. - `docs/en/users/05_Configuration.md`, `docs/en/admins/11_Themes.md`, `docs/en/contributing.md`: the "CustomCSS extension" links pointed to FreshRSS/Extensions, where it is no longer available. They now point to the built-in User CSS section. - `docs/en/admins/15_extensions.md`, `lib/core-extensions/README.md`: list the two core extensions with links to their documentation. Also fix the `.lib/core-extensions` path. - `CREDITS.md`: add my name. Only the English documentation is changed.
This is the documentation deployed by GitHub Pages.
To build and serve locally, first install the necessary packages:
bundle install
Then serve:
bundle exec jekyll serve -H 127.0.0.1 --watch --incremental
The documentation should be reachable at http://127.0.0.1:4000/FreshRSS/.