diff --git a/html/inc/util.inc b/html/inc/util.inc index f86c6142b0..1f412c7581 100644 --- a/html/inc/util.inc +++ b/html/inc/util.inc @@ -377,18 +377,18 @@ function write_page_links($filename, $currPageNum, $numPages, $descriptor) { fwrite($descriptor, "Next Page"); } - fwrite($descriptor, "

\n\n\n"); + fwrite($descriptor, "

Jump to Page:\n"); // Make the individual page links (or a bold non-link for the current page). + // for ($i = 1; $i <= $numPages; $i++) { if ($i != $currPageNum) { - fwrite($descriptor, "

\n"); + fwrite($descriptor, "$i\n"); } else { - fwrite($descriptor, "\n"); + fwrite($descriptor, "$i\n"); } } - fwrite($descriptor, "
Jump to Page:$i$i
\n"); } // Generates a legal filename from a parameter string.