Delete doctools.js