RFR: 7903755: multi header support and special syntax for header file [v4]

[Jorn Vernee]

On Wed, 19 Jun 2024 17:12:46 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:

>> doc/GUIDE.md line 991:
>> 
>>> 989: | `--version`                                                  | print version information and exit |
>>> 990: 
>>> 991: Jextract accepts one or more header files. When multiple header files are specified,
>> 
>> I suggest adding a header above this section to separate it from the table (like we currently have for the section on clang arguments below)
>
> Hmm.. not sure what would be the name. Perhaps move this para above the table?

Discussed offline: let's keep it like this

-------------

PR Review Comment: https://git.openjdk.org/jextract/pull/249#discussion_r1646534537