Documentation Documentation recipes. This directory contains make recipes for managing project documentation (e.g., source, REPL, and user documentation).