You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Merge pull request #1499 from UncleGrumpy/fix-publish-docs
Changes to reduce the size of published documentation on GitHub Pages
These changes take the first steps necessary to remove older and pre-release
versions from the published documentation by removing these versions form the
navigation menu. This directs users to recent stable releases, and helps keep
the published pages below the 1 GB limit for GitHub hosted Pages branches.
Note: the old documentation versions will be removed from the atomvm_www
Production branch in a PR to that repo.
Minor adjustment to graphics format from png to svg to keep sizes smaller and
render better on a wider variety of browsers, and improve the quality of the
PDF ans epub documents.
Changes to where build artifacts are created to keep them from polluting the
published content and consuming unnecessary space.
Adds a missing check for doxgen before attempting to build the documentation.
These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).
SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later
0 commit comments