diff options
| author | dequis <dx@dxzone.com.ar> | 2015-08-26 00:55:32 -0300 |
|---|---|---|
| committer | dequis <dx@dxzone.com.ar> | 2015-08-26 00:55:32 -0300 |
| commit | 3e6cdb6697d21b2b55af2239738be42ddbbf85c8 (patch) | |
| tree | 5a32edcbfb349c1c9a2be355708b8726bb71b3cd /doc/user-guide | |
| parent | 49f11053bfaa539a8062c8f79cd7fc7b8fe8a191 (diff) | |
Makefile: suggest users to run "make install-dev" after install
Also add a couple of missing targets to .PHONY
Diffstat (limited to 'doc/user-guide')
0 files changed, 0 insertions, 0 deletions