gputty

GPuTTY installation notes
-------------------------
To install GPuTTY in /usr/local, just proceed this way:
$ make
[compiles and generates a whole lot of warnings]
$ make install
To install it in another path, use the PREFIX variable:
$ make install PREFIX=<destination_path>