CATMAN(8) | Utilidades do paginador do manual | CATMAN(8) |
catman - cria ou actualiza as páginas do manual pré-formatadas
catman [-d?V] [-M caminho] [-C ficheiro] [secção] ...
catman é usado para criar um conjunto actualizador de páginas do manual pré-formatadas, conhecidas como páginas cat. Estas são geralmente muito mais rápidas a mostrar do que as originais páginas do manual, mas requerem mais espaço de armazenagem. A decisão de suportar páginas cat pertence ao administrador local, que deverá fornecer pastas adequadas para as armazenar.
As opções disponíveis para catman são as hierarquias de páginas do manual e as secções a pré-formatar. As hierarquias são as especificadas como hierarquias do sistema no ficheiro de configuração do man-db e as secções predefinidas são ou o conteúdo separado por dois-pontos da variável de ambiente $MANSECT ou o conjunto padrão compilado com man se $MANSECT for indefinida. Fornecer catman com um conjunto de nomes de secções separados por espaços em branco sobrepõe-se a ambas as opções acima.
catman utiliza a cache da base de dados índice associada com cada hierarquia para determinar que ficheiros precisam de formatação.
Wilf. (G.Wilford@ee.surrey.ac.uk). Fabrizio Polacco (fpolacco@debian.org). Colin Watson (cjwatson@debian.org).
https://savannah.nongnu.org/bugs/?group=man-db
2021-02-08 | 2.9.4 |