rendre facultatif la notation
Il y a un bug concernant l’usage du plugin notation avec une erreur lors d’une recherche : Erreur d’exécution plugins/auto/ressourcotheque/v2.5.1/inclure/sphinx_rubrique.html
Pour contourner le problème, nous avons supprimé une ligne dans le fichier plugins/auto/ressourcotheque/v2.5.1/inclure/sphinx_rubrique.html, la ligne #NOTATION_ETOILE ….
Comme nous n’avons pas besoin de la notation pour publimath, pourrait-on faire en sorte que cette ligne soit paramétrable ? Nous ne sommes pas allé plus loin dans l’explication du bug car la notation n’a aucun intérêt pour nous. Voir copie d'écran lors de l'erreur.
Compléments : nous avons le projet de migrer notre site publimath vers un site spip et nous sommes en train de faire des essais. Comme le plugin ressourcotheque n'est pas encore compatible 4.2, nous sommes en spip 4.0.11.