@@ -798,7 +798,7 @@ General writer options {.options}
798798 new languages or to use altered syntax definitions for
799799 existing languages.
800800
801−`-H` *FILE*, `--include-in-header=`*FILE*
801+`-H` *FILE*, `--include-in-header=`*FILE*|*URL*
802802
803803: Include contents of *FILE*, verbatim, at the end of the header.
804804 This can be used, for example, to include special
@@ -806,7 +806,7 @@ General writer options {.options}
806806 repeatedly to include multiple files in the header. They will be
807807 included in the order specified. Implies `--standalone`.
808808
809−`-B` *FILE*, `--include-before-body=`*FILE*
809+`-B` *FILE*, `--include-before-body=`*FILE*|*URL*
810810
811811: Include contents of *FILE*, verbatim, at the beginning of the
812812 document body (e.g. after the `<body>` tag in HTML, or the
@@ -815,7 +815,7 @@ General writer options {.options}
815815 used repeatedly to include multiple files. They will be included in
816816 the order specified. Implies `--standalone`.
817817
818−`-A` *FILE*, `--include-after-body=`*FILE*
818+`-A` *FILE*, `--include-after-body=`*FILE*|*URL*
819819
820820: Include contents of *FILE*, verbatim, at the end of the document
821821 body (before the `</body>` tag in HTML, or the