coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Navigation links in HTML docs

From: "N. Raghavendra" <raghu AT hri.res.in>
To: coq-club AT inria.fr
Subject: [Coq-Club] Navigation links in HTML docs
Date: Wed, 26 Aug 2015 23:54:54 +0530
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=raghu AT hri.res.in; spf=Pass smtp.mailfrom=gsmlcc-coq-club AT m.gmane.org; spf=Pass smtp.helo=postmaster AT plane.gmane.org
Cancel-lock: sha1:gkoCtEeZtl61yuBBbW07wO/EDrk=
Ironport-phdr: 9a23:xPj+5RRlAirYdpI9S0OB9KnU+dpsv+yvbD5Q0YIujvd0So/mwa64bBaN2/xhgRfzUJnB7Loc0qyN4/umBzVLuMzf+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8aVPVwD3WDjKZpJbzyI7izp/vEMhoVjLqtjgjDomVBvP9ps+GVzOFiIlAz97MrjtLRq8iBXpu5zv5UYCfayLOwESulTCy1jOGQo7uXqswPCRE2B/CgmX30SgyZPVkLjqlnAV5jxuzX3sOZn0WPSadf/QrApcTS47uFxRQSuiSFRZBAj92SCwOo2xJhSrxKouRF5z5TdKsnBLvNxfr71fckbA3BMRYBQUXoSUcuHc4ITAr9Zbq5jpI7nqg5WoA==

Is there any way to get navigation links (Up, Top, Prev, Next) in the
footer of HTML files generated by Coqdoc? Most of the Coqdoc HTML pages
I have seen have only a link to the index in the footer.

Thanks and cheers,
Raghu.

--
N. Raghavendra
<raghu AT hri.res.in>,
http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/

[Coq-Club] Navigation links in HTML docs, N. Raghavendra, 08/26/2015