Build nachos documentation.