At least some default.css links are no longer missing.

This commit is contained in:
Jerry James 2016-07-27 19:30:07 -06:00
parent bd6b4701f5
commit b1181ef635

View file

@ -1088,10 +1088,10 @@ pushd src/doc
# should not be required and encodes buildroot
rm -fr $SAGE_DOC/output/doctrees
# FIXME missing
# FIXME missing; but at least some are not. Maybe this can be removed?
for css in $(find $SAGE_DOC/output/html -name classic.css); do
pushd $(dirname $css)
ln -s classic.css default.css
ln -sf classic.css default.css
popd
done
popd