
Currently, the installation process takes place from the web2c Makefile
in the parent directory.
