Minor addition -- also grab the nav.inc.

This commit was SVN r22523.

contrib/dist/make-html-man-pages.pl

@@ -161,6 +161,7 @@ foreach my $file (@files) {
 $topdir = "../../..";
 $title = "' . "$name($section) man page (version $version)" . '";
 
+include_once("$topdir/doc/nav.inc");
 include_once("$topdir/includes/header.inc");
 ?>
 <p> <a href="../">&laquo; Return to documentation listing</a></p>