MapaDoSite ModificaçõesRecentes Notícias SeçãoElisp HowTo

InfoToWiki

Diferença (entre a revisão 5 e versão actual)

Sumário: Rollback to 2008-09-05 00:16 UTC

Nenhuma dif. disponível.

Idea #1: Convert info pages to wiki. the wiki becomes the official document. use WikiToTex? or WikiToInfo? to publish.

Idea #2: Hack info-mode to grok wikified info pages as if they were normal info files (i.e. fetch the content from the web using a list of configured sources). Optionally cache fetched files and use them when nothing happened with the source or if internet connection is down.


CategoryHypermedia