Remove obsolete symlinks#1392

jonludlam merged 2 commits intoocaml:masterocaml/odoc:masterfrom

Sudha247:delete-obsolete-symlinksSudha247/odoc:delete-obsolete-symlinksCopy head branch name to clipboard