| products/sources/formale sprachen/Coq/doc/sphinx/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: zebibliography.html.rst Sprache: Unknown
|
Spracherkennung für: .rst vermutete Sprache: Haskell {Haskell[128] CS[337] Ada[393]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] .. There are multiple issues with sphinxcontrib-bibtex that we have to work around: - The list of cited entries is computed right after encountering `.. bibliography`, so the file containing that command has to come last alphabetically: https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html#unresolved-cita - `.. bibliography::` puts the bibliography on its own page with its own title in LaTeX, but includes it inline without a title in HTML: https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage.html#mismatch-betwee .. _bibliography: ============== Bibliography ============== .. bibliography:: biblio.bib :cited: [ Dauer der Verarbeitung: 0.58 Sekunden ] |