make navigation optional, add htmlnav target