[minisat2/f18] (2 commits) ...Add a man page, courtesy of the Debian maintainers. Build a shared library, and add -devel and -libs

[Jerry James]

Summary of changes:

  d04d9ea... - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass (*)
  ed37227... Add a man page, courtesy of the Debian maintainers. Build a (*)

(*) This commit already existed in another branch; no separate mail sent