Ticket #4460 (new enhancement)

Opened 2 months ago

add link to PDF manuals in doc/html/index.html

Reported by: schilly Assigned to: tba
Priority: critical Milestone: sage-3.4
Component: documentation Keywords:
Cc:

Description

Adding a link to the PDF versions of the manuals from the /html/index.html page. Both, useful locally and on the website. But I don't know how this page is generated (i get errors or nothing happens) and it isn't even under revision control. Here my improvised patch: 

add in /sage/devel/doc-main/html/index.html.in at line 88:
------------
 <ul>
	    <li> <font size=+2><a href="../paper-$(PAPER)/" class="title">PDF Versions</a></font>
	      <br>
	  </ul>
-------------

An enhancement would be to link to each .pdf file directly, something like "link to html (PDF)" for each link.