Document gnatdll -m switch in GNAT User's Guide
The documentation for the gnatdll -m switch has been copied from the help message into the GNAT User's Guide.
The documentation for the -m switch in gnatdll was previously only available in the help message. This commit copies that documentation into the GNAT User’s Guide, making it more accessible to users. This ensures that the functionality of the -m switch is properly documented.
In Details
This commit involves changes to doc/gnat_ugn/platform_specific_information.rst and the regeneration of gnat_ugn.texi. The -m switch documentation was extracted from the gnatdll help message and incorporated into the GNAT User's Guide for better discoverability.
For Context
gnatdll is a tool related to the Ada compiler GNAT, likely used for creating dynamic link libraries (DLLs). The -m switch probably controls some aspect of DLL creation, such as specifying the memory model. This commit simply copies the existing help text for that switch into the user manual.