Lines Matching refs:Documentation
51 # Live documentation is generated for the web site using this target:
56 $(Echo) Installing HTML documentation
62 $(Echo) Packaging HTML documentation
69 $(Echo) Installing doxygen documentation
79 $(Echo) Building doxygen documentation
86 $(Echo) Packaging doxygen documentation
100 $(Echo) Installing ocamldoc documentation
108 $(Echo) Packaging ocamldoc documentation
115 $(Echo) Building ocamldoc documentation
126 $(Echo) Uninstalling Documentation
