HTML -> eXport

[Valery Romanchev]

О чем идет речь?
Если о всех страницах в HTML формате - то это есть, это стандарнтая функция.

Если о навигации, то я такого не встречал.
Наверное его нет, впрочем это просто сделать без расширения.
1) сделать шаблон, в котором с помощью HMENU (TMENU) содается нужное дерево (или использовать там стандартную карту сайта)
2) вставить в шаблон <!-- Start--> <!-- End-->
3) написать PHP скрипт, который открывает с помощью file нужную страницу, выкусывает нужный HTML и сохраняет го в файл