Lines Matching refs:documentation
61 # Live documentation is generated for the web site using this target:
66 $(Echo) Installing HTML documentation
72 $(Echo) Packaging HTML documentation
79 $(Echo) Installing doxygen documentation
92 $(Echo) Building doxygen documentation
97 $(Echo) Packaging doxygen documentation
111 $(Echo) Installing ocamldoc documentation
119 $(Echo) Packaging ocamldoc documentation
126 $(Echo) Building ocamldoc documentation
136 $(Echo) Uninstalling Documentation
