Fix html target

I messed up with the paths to contrib files.  We might want to pass an extra -R argument for the contrib folder, but that would be on top of this pull request.  I'm going to merge this, since it's a minor bug fix that doesn't touch the actual library.