Enable additional PDF output for readthedocs.io
1 file changed