doc: add missing source file