Fixing article-to-html target for Linux.