This ticket is a spin-off from #29993.

In local/share/doc/sage/html/en/index.html, there are supposed to be PDF icons next to each document, as links leading to the PDF builds. Those are missing, because the file _static/pdf.png is missing. For some reason, it is not copied from src/doc/en/website/static to local/share/doc/sage/html/en/_static.

To see the problem, check that:

Running make doc-clean; sage --docbuild all html does not install the PDF icon to the right place, that is under local/share/doc/sage/html/en/website/_static.

But running make doc-clean; sage --docbuild website html does install the PDF icon to the right place.

CC: @jhpalmieri

Component: documentation

Author: Kwankyu Lee

Branch/Commit: f69c403

Reviewer: John Palmieri

Issue created by migration from https://trac.sagemath.org/ticket/30418