[mlton/f19] (4 commits) ...Use pkgdocdir instead of docdir

[Adam Goode]

Summary of changes:

  d1149b1... - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass (*)
  cf8bc9b... New upstream release (*)
  345a878... Switch to unversioned docdir (*)
  e07f356... Use pkgdocdir instead of docdir (*)

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