This directory contains sources to the documentation. If you are
looking for pre-built documentation, please look in the "doc"
directory.