Lines Matching full:documentation
62 # Live documentation is generated for the web site using this target:
67 $(Echo) Installing HTML documentation
73 $(Echo) Packaging HTML documentation
80 $(Echo) Installing doxygen documentation
93 $(Echo) Building doxygen documentation
98 $(Echo) Packaging doxygen documentation
112 $(Echo) Installing ocamldoc documentation
120 $(Echo) Packaging ocamldoc documentation
127 $(Echo) Building ocamldoc documentation
137 $(Echo) Uninstalling Documentation
