This document describes the procedure to install and maintain an HyperLeda mirror or the Pleinpot software . ... Following the instructions on this page allows to install the databases and tools with a shell interface and/or http interface. ... Shells and Compilers . ... The local http server must enable the execution of cgi scripts on the directory where HyperLeda is installed. ... install-hyperleda Install the same as install-pleinpot , and in addition install the HyperLeda database. ... HyperLeda . ...