Some refdoc files aren't where export.pike expects them
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=2634
Reported by Martin Stjernholm mast@roxen.com
make export fails when export.pike tries to create the tarball. The errors from tar are:
tar: Cannot add file Pike-v7.3.13/refdoc/tree-split-style.css: No such file or directory tar: Cannot add file Pike-v7.3.13/refdoc/tree-split-template.html: No such file or directory