Loading tools/build.sh +5 −0 Original line number Diff line number Diff line Loading @@ -49,7 +49,12 @@ echo "MaX "$MAX_VERSION > $RELEASE_FOLDER/VERSION mkdir git clone git@git.unicaen.fr:pdn-certic/max-documentation.git cd max-documentation #override default documentation compil option for local use cp ../mkdocs_local_config.yml mkdocs.yml mkdocs build mv site ../$RELEASE_FOLDER/documentation cd .. rm -rf max-documentation Loading tools/mkdocs_local_config.yml 0 → 100644 +28 −0 Original line number Diff line number Diff line site_name: MaX - Documentation nav: - Documentation d’utilisation de MaX : index.md - Installation : install.md - Création d'une édition : script.md - Organisation des dossiers et des fichiers : files.md - Configuration : config.md - Fonctionnement : features.md - Fichiers XML : basex.md - Pages HTML statiques : static_pages.md - Page d’accueil : home_page.md - Menu : menu.md - Sommaires : toc.md - Textes : text.md - Gabarits, mise en page : layout.md - Fichier i18n : i18n.md - Surcharges : overriding.md - Plugins : plugins.md - Métadonnées HTML : metadata.md - Mise en production : production.md - Glossaire : glossary.md theme: readthedocs extra_javascript: - javascripts/mermaid.min.js extra_css: - css/mermaid.css - css/test.css use_directory_urls: false No newline at end of file Loading
tools/build.sh +5 −0 Original line number Diff line number Diff line Loading @@ -49,7 +49,12 @@ echo "MaX "$MAX_VERSION > $RELEASE_FOLDER/VERSION mkdir git clone git@git.unicaen.fr:pdn-certic/max-documentation.git cd max-documentation #override default documentation compil option for local use cp ../mkdocs_local_config.yml mkdocs.yml mkdocs build mv site ../$RELEASE_FOLDER/documentation cd .. rm -rf max-documentation Loading
tools/mkdocs_local_config.yml 0 → 100644 +28 −0 Original line number Diff line number Diff line site_name: MaX - Documentation nav: - Documentation d’utilisation de MaX : index.md - Installation : install.md - Création d'une édition : script.md - Organisation des dossiers et des fichiers : files.md - Configuration : config.md - Fonctionnement : features.md - Fichiers XML : basex.md - Pages HTML statiques : static_pages.md - Page d’accueil : home_page.md - Menu : menu.md - Sommaires : toc.md - Textes : text.md - Gabarits, mise en page : layout.md - Fichier i18n : i18n.md - Surcharges : overriding.md - Plugins : plugins.md - Métadonnées HTML : metadata.md - Mise en production : production.md - Glossaire : glossary.md theme: readthedocs extra_javascript: - javascripts/mermaid.min.js extra_css: - css/mermaid.css - css/test.css use_directory_urls: false No newline at end of file