In case you're unaware, ECWolf is a ZDoom-based Wolf3D port which might might save you the trouble of exporting to the Doom format since it reads them as-is.