aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.doc
AgeCommit message (Expand)Author
2018-06-22Move INSTALL.doc into doc/README.md.Théo Zimmermann
2018-05-10One can build all the HTML doc using default.nix.Théo Zimmermann
2018-05-10Clean-up in Makefile.doc and include Sphinx in doc-html target.Théo Zimmermann
2018-05-10Remove tutorials.Théo Zimmermann
2018-04-30[doc] Update Sphinx build instructions for Debian derivatives.Emilio Jesus Gallego Arias
2018-04-28[doc] Remove unused dependencies.Emilio Jesus Gallego Arias
2018-04-17Mention sphinxcontrib-bibtex in INSTALL.docMaxime Dénès
2018-04-16Remove LaTeX refman, now that migration to Sphinx is completeMaxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
2017-05-20Mention ./configure in INSTALL.docThéo Zimmermann
2015-11-06More on how to compile doc.Hugo Herbelin
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2008-11-14Amélioration du README.doc et de l'installation de la docnotin
2008-08-06Mise à jour des fichiers README et INSTALL de la doc (bug #1921) + suppressi...notin