Objetivo: salvar cada arquivo htm de um diretório
como html e redirecioná-lo para esse mesmo html
Descrição: Htm2Html
(diretório, lista
de nomes de arquivos .htm, string com conteúdo de redirecionamento) => arquivos html cada
um com conteúdo do htm de mesmo nome,
arquivos htm cada um com redirecionamento para html de
mesmo nome
nome:
Htm2Html
entrada: lista
de nomes de arquivos .htm do diretório corrente, string
com conteúdo de redirecionamento
saída: arquivos html cada
um com conteúdo do htm de mesmo nome,
arquivos htm cada um com redirecionamento para html de
mesmo nome
processamento:
para cada arquivo .htm do diretório verificar as
condições:
se já é um arquivo de redirecionamento
se o html correspondente é um arquivo html dinâmico
se as condições forem verdadeiras, não fazer nada com o
arquivo
se as condições forem falsas, para cada arquivo htm:
salvar um arquivo .html com o mesmo conteúdo do htm
salvar o arquivo htm com a string do arquivo de
redirecionamento, substituindo ~NomeArquivo~ pelo nome do arquivo htm