{
    "content": [
        {
            "type": "text",
            "text": "# dvitomp (info)\n\n## Sections\n\n- **File: web2c.info,  Node: dvitomp invocation,  Prev: Initial MetaPost,  Up: MetaPost** (1 subsections)\n- **If MPXFILE is not specified, the output goes to the basename of DVIFILE**\n\nUse structuredContent.sections for detailed options, examples, and full documentation.\n"
        }
    ],
    "structuredContent": {
        "command": "dvitomp",
        "section": "",
        "mode": "info",
        "summary": null,
        "synopsis": null,
        "tldr_summary": null,
        "tldr_examples": [],
        "tldr_source": null,
        "flags": [],
        "examples": [],
        "see_also": [],
        "section_outline": [
            {
                "name": "File: web2c.info,  Node: dvitomp invocation,  Prev: Initial MetaPost,  Up: MetaPost",
                "lines": 1,
                "subsections": [
                    {
                        "name": "7.3 DVItoMP: DVI to MPX conversion",
                        "lines": 5
                    }
                ]
            },
            {
                "name": "If MPXFILE is not specified, the output goes to the basename of DVIFILE",
                "lines": 8,
                "subsections": []
            }
        ],
        "sections": {
            "File: web2c.info,  Node: dvitomp invocation,  Prev: Initial MetaPost,  Up: MetaPost": {
                "content": "",
                "subsections": [
                    {
                        "name": "7.3 DVItoMP: DVI to MPX conversion",
                        "content": "DVItoMP converts DVI files into low-level MetaPost commands in a\nso-called MPX file.  Synopsis:\n\ndvitomp DVIFILE[.dvi] [MPXFILE[.mpx]]\n"
                    }
                ]
            },
            "If MPXFILE is not specified, the output goes to the basename of DVIFILE": {
                "content": "extended with '.mpx', e.g., 'dvitomp /wherever/foo.dvi' creates\n'./foo.mpx'.\n\nDVItoMP supports Dvips-style color specials, such as 'color push\nNAME' and 'color pop', outputting them as 'withcolor' MetaPost commands.\n\nThe only options are '-help' and '-version' (*note Common options::).\n",
                "subsections": []
            }
        }
    }
}