La paginación de un array no es diferente de una paginación cualquiera de resultados, a ver si esto te sirve:
Código PHP:
<?php
/**
* El tamaño de la página se puede enviar por $_POST
*/
$pagina = (isset($_GET['pagina'])?$_GET['pagina']:1);
$elementos_por_pagina = 3;
$archivo = file("post.txt");
$lineas = count($archivo);
echo "<h3>Desplegando página $pagina</h3>";
for($i = ($pagina>1?$pagina:0); $i<$pagina*$elementos_por_pagina; $i++){
if(array_key_exists($i, $archivo)) //Para evitar desbordamiento
echo $archivo[$i]."<br/>";
}
1 saludo