Documentation

Documentation recipes.

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