Como instalar o plugin Photran no Eclipse? [RESOLVIDO]

[chicomrt]

Olá!

Alguém pode me dizer como eu habilito o plugin Photran no eclipse. Tentei apenas descompactar o arquivo zip e copiar o conteúdo nas pastas correspondentes, mas não funcionou...
Alguém sabe como fazer isso?

Uso o Ubuntu Feisty Fawn e o Eclipse 3.2. O Photran é versão 4.

[chicomrt]

Bastou copiar os diretórios da pasta do photran nas pastas correspondentes do eclipse!