C docs: add missing file for embedding (#30).