Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
MPR#7539: manual, fix dead links in the ocamldoc chapter #1181
This short PR fixes few dead links in the ocamldoc chapter of the manual. These links referred directly to the ocamldoc source code and were not valid anymore since the 4.03 release. This PR, as suggested in the mantis ticket, rewrites these links to point towards OCaml's github repository.