Skip to main content

Browse the archive

Revision db5c4664234330d55684fcec44592e294f2bb0d0 authored by Roberto Di Cosmo on 16 November 2011, 07:45:03 UTC, committed by Roberto Di Cosmo on 16 November 2011, 07:45:03 UTC 
Added reinstall Makefile target
1 parent 320b9b0
Raw File
INSTALL 
To install this program, just type

make; make install

To uninstall, type

make uninstall
back to top