Salut Jean-Christophe, thanks for the explanation. In fact I do not know sphinx and didn't have it installed on my system, that is why "make doc" didn't produce anything. I had to search a bit to find the packages that I needed as there are several projects that have sphinx in their name, including an SQL search engine and a speech-recognizer.
In case someone else is running into the same problem, the debian packages are: python3-sphinx python3-sphinxcontrib.bibtex Cheers -Ralf. On Wed, Mar 25, 2020 at 01:59:59PM +0100, Jean-Christophe Filliatre wrote: > Hi Ralf, > > We switched to Sphinx, as you probably noticed already. > > But the 'make doc' target is still there, and it still builds both a > HTML and a PDF version of the documentation, respectively in doc/html/ > and doc/latex/. > > We acknowledged that the latter is indeed different from previous > releases and we apologize. > > Cheers, > -- > Jean-Christophe > > On 03/25/2020 01:43 PM, Ralf Treinen wrote: > > Hello, > > > > On Tue, Mar 24, 2020 at 11:20:03AM +0100, Guillaume Melquiond wrote: > >> A new release of Why3, version 1.3.1, is available from the Web page > >> http://why3.lri.fr/ > > > > I wonder what happened to the why3 manual. Before 1.3.0, the TeX files > > were in the doc/ directory, but now they seem to be gone. It wouldn't > > be a big problem, in that case I would just stop building the > > why3-doc-pdf and why3-doc-html packages for debian. > > > > Cheers -Ralf. > > _______________________________________________ > > Why3-club mailing list > > Why3-club@lists.gforge.inria.fr > > https://lists.gforge.inria.fr/mailman/listinfo/why3-club > > > _______________________________________________ > Why3-club mailing list > Why3-club@lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/why3-club _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
