"env" or "export env"?

I have a dude in this command, at least for people running this from KDE 
konsole or konqueror:

At http://www.openbsd.org/faq/faq5.html ,
section 5.3.5 - Building the userland :
...
Make sure all the appropriate directories are created.
# cd /usr/src/etc && env DESTDIR=/ make distrib-dirs
...

But it seems to me that the proper command for this (from KDE) should be:

# cd /usr/src/etc && export env DESTDIR=/ make distrib-dirs


as "export env", not "env" is the proper command for KDE consoles,
e.g. when
$ echo $SHELL
/bin/ksh
$

Can any one give me some light about this?

Mac