First time here? Check out the FAQ!
10 0 make doc-pdf fails (sage 8.0/ubuntu 16.04) ( 2017-09-18 02:21:25 +0200 )