added static lib, gzipped man pages

[kzidane]

No description provided.

[dmalan]

Thanks, @kzidane! Pushed a few tweaks to fix permissions. (And capitalized some comments for consistency.)

[dmalan]

@kzidane, in cli50, if I do

sudo apt-get remove -y libcs50
make deb
sudo dpkg -i build/deb/libcs50_10.1.0_amd64.deb

I get the below warnings?

dpkg: warning: unable to delete old directory '/usr/local/lib': Directory not empty
dpkg: warning: unable to delete old directory '/usr/local/share/man': Directory not empty
dpkg: warning: unable to delete old directory '/usr/local/share': Directory not empty
dpkg: warning: unable to delete old directory '/usr/local/include': Directory not empty
dpkg: warning: unable to delete old directory '/usr/local': Directory not empty

[dmalan]

Let’s address warnings first, though?

[kzidane]

These warnings seem fine. The folders can't be deleted because there's other stuff there (installed by other packages).

[dmalan]

Oh I see, it's because remove isn't purging all remnants of the older version. If you do

sudo apt-get purge -y libcs50
make deb
sudo dpkg -i build/deb/libcs50_10.1.0_amd64.deb

there's no warning.

[kzidane]

Oh I misread the warning. Sorry! Kareem

…

On Mon, Oct 14, 2019, 2:30 PM David J. Malan ***@***.***> wrote: Merged #187 <#187> into develop. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#187?email_source=notifications&email_token=ABXFGA3CWL5UQQS4XSXMAHTQOS3FRA5CNFSM4JAIJVA2YY3PNVWWK3TUL52HS4DFWZEXG43VMVCXMZLOORHG65DJMZUWGYLUNFXW5KTDN5WW2ZLOORPWSZGOUGOOQ7Y#event-2711414911>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABXFGA2F77NUWCID2XU64GTQOS3FRANCNFSM4JAIJVAQ> .