{
    "mode": "man",
    "parameter": "DVITOMP",
    "section": "1",
    "url": "https://www.chedong.com/phpMan.php/man/DVITOMP/1/json",
    "generated": "2026-06-03T01:36:41Z",
    "synopsis": "dvitomp [OPTIONS] dvifile[.dvi] [mpxfile[.mpx]]\nmpost --dvitomp dvifile[.dvi] [mpxfile[.mpx]]",
    "sections": {
        "NAME": {
            "content": "dvitomp - convert a TeX DVI file to a MetaPost MPXFILE\n",
            "subsections": []
        },
        "SYNOPSIS": {
            "content": "dvitomp [OPTIONS] dvifile[.dvi] [mpxfile[.mpx]]\n\nmpost --dvitomp dvifile[.dvi] [mpxfile[.mpx]]\n",
            "subsections": []
        },
        "DESCRIPTION": {
            "content": "dvitomp translates the given dvifile to a MetaPost MPXFILE.  The default mpxfile is the base‐\nname of dvifile extended with .mpx.\n",
            "subsections": []
        },
        "OPTIONS": {
            "content": "",
            "subsections": [
                {
                    "name": "-help",
                    "content": ""
                },
                {
                    "name": "-version",
                    "content": "output version information and exit.\n"
                }
            ]
        },
        "BUGS": {
            "content": "Email bug reports to metapost@tug.org.\n\n\n\nWeb2C 2022/dev                              16 June 2015                                  DVITOMP(1)",
            "subsections": []
        }
    },
    "summary": "dvitomp - convert a TeX DVI file to a MetaPost MPXFILE",
    "flags": [
        {
            "flag": "",
            "long": null,
            "arg": null,
            "description": ""
        },
        {
            "flag": "",
            "long": null,
            "arg": null,
            "description": "output version information and exit."
        }
    ],
    "examples": [],
    "see_also": []
}