On Mon, 10 Oct 2016 21:09:53 +0200 Francesco Poli wrote: > On Sun, 18 Sep 2016 14:23:51 +0200 Klaus Zimmermann wrote: [...] > In the present case, I think upstream should be contacted and encouraged > to begin tagging (from now on) specific points of history in the git > repository (that's basically what GitHub appears to call "releases"). > This is what the Debian package should ship, in my own personal > opinion.
Hello again, I've just found out that Hans Petter Langtangen, the main author of DocOnce, sadly passed away  on October 2016, the 10th.  http://hpl-memorial.simula.no/ This was really sad news. Now I wonder whether DocOnce development will be carried on by some of the contributors. I see that the latest commit  to the DocOnce git repository is by Kristian Gregorius Hustad . Among the people who have write access to the repository, he could maybe be the one taking over DocOnce development... Perhaps you could get in touch with him and ask him about the future of DocOnce.  https://github.com/hplgit/doconce/commit/1b3d50c0646f9395d0a5e0525a45e0ff95e83643  https://www.mn.uio.no/ifi/english/people/aca/krihus/  http://folk.uio.no/krihus/index_eng.html -- http://www.inventati.org/frx/ There's not a second to spare! To the laboratory! ..................................................... Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE
Description: PGP signature