Merge pull request #347 from ThreeOfTwelve/vulkan-update-v1.2.198

Update Vulkan to v1.2.198
expipiplus1 · Nov 9, 2021 · 7197ea9 · 7197ea9
2 parents e21b904 + 9d2a71a
commit 7197ea9
Show file tree

Hide file tree

Showing 448 changed files with 1,263 additions and 1,124 deletions.
diff --git a/changelog.md b/changelog.md
@@ -2,6 +2,9 @@
 
 ## WIP
 
+## [3.13.2] - 2021-11-09
+- Bump API version to v1.2.198
+
 ## [3.13.1] - 2021-11-03
 - Bump API version to v1.2.197
 

diff --git a/generate-new/Vulkan-Docs b/generate-new/Vulkan-Docs
diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: vulkan
-version: "3.13.1"
+version: "3.13.2"
 synopsis: Bindings to the Vulkan graphics API.
 description: Please see [the readme](https://github.com/expipiplus1/vulkan/#readme)
 category: Graphics

diff --git a/src/Vulkan/Core10/CommandBufferBuilding.hs b/src/Vulkan/Core10/CommandBufferBuilding.hs
diff --git a/src/Vulkan/Core10/Device.hs b/src/Vulkan/Core10/Device.hs
@@ -443,6 +443,12 @@ destroyDevice device allocator = liftIO . evalContT $ do
 --     'Vulkan.Core10.Enums.DeviceQueueCreateFlagBits.DEVICE_QUEUE_CREATE_PROTECTED_BIT'
 --     bit of @flags@ /must/ not be set
 --
+-- -   #VUID-VkDeviceQueueCreateInfo-flags-06449# If @flags@ includes
+--     'Vulkan.Core10.Enums.DeviceQueueCreateFlagBits.DEVICE_QUEUE_CREATE_PROTECTED_BIT',
+--     @queueFamilyIndex@ /must/ be the index of a queue family that
+--     includes the 'Vulkan.Core10.Enums.QueueFlagBits.QUEUE_PROTECTED_BIT'
+--     capability
+--
 -- == Valid Usage (Implicit)
 --
 -- -   #VUID-VkDeviceQueueCreateInfo-sType-sType# @sType@ /must/ be
@@ -577,8 +583,8 @@ instance es ~ '[] => Zero (DeviceQueueCreateInfo es) where
 -- -   #VUID-VkDeviceCreateInfo-pNext-04748# if the @pNext@ chain includes
 --     a 'Vulkan.Core12.PhysicalDeviceVulkan12Features' structure and
 --     'Vulkan.Core12.PhysicalDeviceVulkan12Features'::@bufferDeviceAddress@
---     is VK_TRUE, @ppEnabledExtensionNames@ /must/ not contain
---     @VK_EXT_buffer_device_address@
+--     is 'Vulkan.Core10.FundamentalTypes.TRUE', @ppEnabledExtensionNames@
+--     /must/ not contain @VK_EXT_buffer_device_address@
 --
 -- -   #VUID-VkDeviceCreateInfo-pNext-02829# If the @pNext@ chain includes
 --     a 'Vulkan.Core12.PhysicalDeviceVulkan11Features' structure, then it

diff --git a/src/Vulkan/Core10/DeviceInitialization.hs b/src/Vulkan/Core10/DeviceInitialization.hs
@@ -1425,13 +1425,15 @@ instance Zero ApplicationInfo where
 --     'InstanceCreateInfo' includes a
 --     'Vulkan.Extensions.VK_EXT_debug_report.DebugReportCallbackCreateInfoEXT'
 --     structure, the list of enabled extensions in
---     @ppEnabledExtensionNames@ /must/ contain VK_EXT_debug_report
+--     @ppEnabledExtensionNames@ /must/ contain
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_report VK_EXT_debug_report>
 --
 -- -   #VUID-VkInstanceCreateInfo-pNext-04926# If the @pNext@ chain of
 --     'InstanceCreateInfo' includes a
 --     'Vulkan.Extensions.VK_EXT_debug_utils.DebugUtilsMessengerCreateInfoEXT'
 --     structure, the list of enabled extensions in
---     @ppEnabledExtensionNames@ /must/ contain VK_EXT_debug_utils
+--     @ppEnabledExtensionNames@ /must/ contain
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_utils VK_EXT_debug_utils>
 --
 -- == Valid Usage (Implicit)
 --

diff --git a/src/Vulkan/Core10/Enums/EventCreateFlagBits.hs b/src/Vulkan/Core10/Enums/EventCreateFlagBits.hs
@@ -21,19 +21,15 @@ type EventCreateFlags = EventCreateFlagBits
 
 -- | VkEventCreateFlagBits - Event creation flag bits
 --
--- = Description
---
--- -   VK_EVENT_CREATE_DEVICE_ONLY_BIT_KHR specifies that host event
---     commands will not be used with this event.
---
 -- = See Also
 --
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>,
 -- 'EventCreateFlags'
 newtype EventCreateFlagBits = EventCreateFlagBits Flags
   deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)
 
--- No documentation found for Nested "VkEventCreateFlagBits" "VK_EVENT_CREATE_DEVICE_ONLY_BIT_KHR"
+-- | 'EVENT_CREATE_DEVICE_ONLY_BIT_KHR' specifies that host event commands
+-- will not be used with this event.
 pattern EVENT_CREATE_DEVICE_ONLY_BIT_KHR = EventCreateFlagBits 0x00000001
 
 conNameEventCreateFlagBits :: String

diff --git a/src/Vulkan/Core10/ImageView.hs b/src/Vulkan/Core10/ImageView.hs
@@ -896,7 +896,8 @@ instance Zero ImageSubresourceRange where
 --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#formats-requiring-sampler-ycbcr-conversion formats that require a sampler Y’CBCR conversion>,
 --     then the @pNext@ chain /must/ include a
 --     'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionInfo'
---     structure with a conversion value other than VK_NULL_HANDLE
+--     structure with a conversion value other than
+--     'Vulkan.Core10.APIConstants.NULL_HANDLE'
 --
 -- -   #VUID-VkImageViewCreateInfo-format-04714# If @format@ has a @_422@
 --     or @_420@ suffix then @image@ /must/ have been created with a width

diff --git a/src/Vulkan/Core10/Memory.hs b/src/Vulkan/Core10/Memory.hs
@@ -1028,7 +1028,7 @@ getDeviceMemoryCommitment device memory = liftIO . evalContT $ do
 -- -   #VUID-VkMemoryAllocateInfo-allocationSize-01742# If the parameters
 --     define an import operation, the external handle specified was
 --     created by the Vulkan API, and the external handle type is
---     'Vulkan.Extensions.VK_KHR_external_memory_capabilities.EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_FD_BIT_KHR',
+--     'Vulkan.Core11.Enums.ExternalMemoryHandleTypeFlagBits.EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_FD_BIT',
 --     then the values of @allocationSize@ and @memoryTypeIndex@ /must/
 --     match those specified when the payload being imported was created
 --
@@ -1055,9 +1055,9 @@ getDeviceMemoryCommitment device memory = liftIO . evalContT $ do
 -- -   #VUID-VkMemoryAllocateInfo-allocationSize-01743# If the parameters
 --     define an import operation, the external handle was created by the
 --     Vulkan API, and the external handle type is
---     'Vulkan.Extensions.VK_KHR_external_memory_capabilities.EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_BIT_KHR'
+--     'Vulkan.Core11.Enums.ExternalMemoryHandleTypeFlagBits.EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_BIT'
 --     or
---     'Vulkan.Extensions.VK_KHR_external_memory_capabilities.EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_KMT_BIT_KHR',
+--     'Vulkan.Core11.Enums.ExternalMemoryHandleTypeFlagBits.EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_KMT_BIT',
 --     then the values of @allocationSize@ and @memoryTypeIndex@ /must/
 --     match those specified when the payload being imported was created
 --

diff --git a/src/Vulkan/Core10/Pipeline.hs b/src/Vulkan/Core10/Pipeline.hs
@@ -4571,17 +4571,17 @@ instance Zero PipelineDepthStencilStateCreateInfo where
 --
 -- -   #VUID-VkGraphicsPipelineCreateInfo-rasterizationSamples-04899# If
 --     the pipeline is being created with fragment shader state, and the
---     VK_QCOM_render_pass_shader_resolve extension is enabled, and if
---     subpass has any input attachments, and if the subpass description
---     contains
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_QCOM_render_pass_shader_resolve VK_QCOM_render_pass_shader_resolve>
+--     extension is enabled, and if subpass has any input attachments, and
+--     if the subpass description contains
 --     'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM',
 --     then the sample count of the input attachments /must/ equal
 --     @rasterizationSamples@
 --
 -- -   #VUID-VkGraphicsPipelineCreateInfo-sampleShadingEnable-04900# If the
 --     pipeline is being created with fragment shader state, and the
---     VK_QCOM_render_pass_shader_resolve extension is enabled, and if the
---     subpass description contains
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_QCOM_render_pass_shader_resolve VK_QCOM_render_pass_shader_resolve>
+--     extension is enabled, and if the subpass description contains
 --     'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM',
 --     then @sampleShadingEnable@ /must/ be false
 --

diff --git a/src/Vulkan/Core10/Queue.hs b/src/Vulkan/Core10/Queue.hs
@@ -341,6 +341,13 @@ foreign import ccall
 --     accessed by an operation specified by @pSubmits@ /must/ have
 --     included the queue family of @queue@ at resource creation time
 --
+-- -   #VUID-vkQueueSubmit-queue-06448# If @queue@ was not created with
+--     'Vulkan.Core10.Enums.DeviceQueueCreateFlagBits.DEVICE_QUEUE_CREATE_PROTECTED_BIT',
+--     there /must/ be no element of @pSubmits@ that includes an
+--     'Vulkan.Core11.Originally_Based_On_VK_KHR_protected_memory.ProtectedSubmitInfo'
+--     structure in its @pNext@ chain with @protectedSubmit@ equal to
+--     'Vulkan.Core10.FundamentalTypes.TRUE'
+--
 -- == Valid Usage (Implicit)
 --
 -- -   #VUID-vkQueueSubmit-queue-parameter# @queue@ /must/ be a valid

diff --git a/src/Vulkan/Core11/Originally_Based_On_VK_KHR_protected_memory.hs b/src/Vulkan/Core11/Originally_Based_On_VK_KHR_protected_memory.hs
@@ -127,17 +127,8 @@ getDeviceQueue2 device queueInfo = liftIO . evalContT $ do
 -- | VkProtectedSubmitInfo - Structure indicating whether the submission is
 -- protected
 --
--- == Valid Usage
---
--- -   #VUID-VkProtectedSubmitInfo-protectedSubmit-01816# If the protected
---     memory feature is not enabled, @protectedSubmit@ /must/ not be
---     'Vulkan.Core10.FundamentalTypes.TRUE'
---
 -- == Valid Usage (Implicit)
 --
--- -   #VUID-VkProtectedSubmitInfo-sType-sType# @sType@ /must/ be
---     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PROTECTED_SUBMIT_INFO'
---
 -- = See Also
 --
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_1 VK_VERSION_1_1>,
@@ -278,11 +269,17 @@ instance Zero PhysicalDeviceProtectedMemoryFeatures where
 -- 'Vulkan.Core10.FundamentalTypes.Bool32',
 -- 'Vulkan.Core10.Enums.StructureType.StructureType'
 data PhysicalDeviceProtectedMemoryProperties = PhysicalDeviceProtectedMemoryProperties
-  { -- | @protectedNoFault@ specifies the behavior of the implementation when
-    -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#memory-protected-access-rules protected memory access rules>
-    -- are broken. If @protectedNoFault@ is
-    -- 'Vulkan.Core10.FundamentalTypes.TRUE', breaking those rules will not
-    -- result in process termination or device loss.
+  { -- | #extension-limits-protectedNoFault# @protectedNoFault@ specifies how an
+    -- implementation behaves when an application attempts to write to
+    -- unprotected memory in a protected queue operation, read from protected
+    -- memory in an unprotected queue operation, or perform a query in a
+    -- protected queue operation. If this limit is
+    -- 'Vulkan.Core10.FundamentalTypes.TRUE', such writes will be discarded or
+    -- have undefined values written, reads and queries will return undefined
+    -- values. If this limit is 'Vulkan.Core10.FundamentalTypes.FALSE',
+    -- applications /must/ not perform these operations. See
+    -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#memory-protected-access-rules>
+    -- for more information.
     protectedNoFault :: Bool }
   deriving (Typeable, Eq)
 #if defined(GENERIC_INSTANCES)

diff --git a/src/Vulkan/Core11/Promoted_From_VK_KHR_device_group.hs b/src/Vulkan/Core11/Promoted_From_VK_KHR_device_group.hs
@@ -433,7 +433,9 @@ foreign import ccall
 --     the same pipeline bind point
 --
 -- -   #VUID-vkCmdDispatchBase-commandBuffer-02707# If @commandBuffer@ is
---     an unprotected command buffer, any resource accessed by the
+--     an unprotected command buffer and
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#limits-protectedNoFault protectedNoFault>
+--     is not supported, any resource accessed by the
 --     'Vulkan.Core10.Handles.Pipeline' object bound to the pipeline bind
 --     point used by this command /must/ not be a protected resource
 --
@@ -496,15 +498,19 @@ foreign import ccall
 --     command
 --
 -- -   #VUID-vkCmdDispatchBase-commandBuffer-02712# If @commandBuffer@ is a
---     protected command buffer, any resource written to by the
+--     protected command buffer and
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#limits-protectedNoFault protectedNoFault>
+--     is not supported, any resource written to by the
 --     'Vulkan.Core10.Handles.Pipeline' object bound to the pipeline bind
 --     point used by this command /must/ not be an unprotected resource
 --
 -- -   #VUID-vkCmdDispatchBase-commandBuffer-02713# If @commandBuffer@ is a
---     protected command buffer, pipeline stages other than the
---     framebuffer-space and compute stages in the
---     'Vulkan.Core10.Handles.Pipeline' object bound to the pipeline bind
---     point used by this command /must/ not write to any resource
+--     protected command buffer and
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#limits-protectedNoFault protectedNoFault>
+--     is not supported, pipeline stages other than the framebuffer-space
+--     and compute stages in the 'Vulkan.Core10.Handles.Pipeline' object
+--     bound to the pipeline bind point used by this command /must/ not
+--     write to any resource
 --
 -- -   #VUID-vkCmdDispatchBase-commandBuffer-04617# If any of the shader
 --     stages of the 'Vulkan.Core10.Handles.Pipeline' bound to the pipeline

diff --git a/src/Vulkan/Core12.hs b/src/Vulkan/Core12.hs
@@ -396,11 +396,17 @@ data PhysicalDeviceVulkan11Properties = PhysicalDeviceVulkan11Properties
     -- drawing command recorded within a subpass of a multiview render pass
     -- instance.
     maxMultiviewInstanceIndex :: Word32
-  , -- | @protectedNoFault@ specifies the behavior of the implementation when
-    -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#memory-protected-access-rules protected memory access rules>
-    -- are broken. If @protectedNoFault@ is
-    -- 'Vulkan.Core10.FundamentalTypes.TRUE', breaking those rules will not
-    -- result in process termination or device loss.
+  , -- | #limits-protectedNoFault# @protectedNoFault@ specifies how an
+    -- implementation behaves when an application attempts to write to
+    -- unprotected memory in a protected queue operation, read from protected
+    -- memory in an unprotected queue operation, or perform a query in a
+    -- protected queue operation. If this limit is
+    -- 'Vulkan.Core10.FundamentalTypes.TRUE', such writes will be discarded or
+    -- have undefined values written, reads and queries will return undefined
+    -- values. If this limit is 'Vulkan.Core10.FundamentalTypes.FALSE',
+    -- applications /must/ not perform these operations. See
+    -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#memory-protected-access-rules ???>
+    -- for more information.
     protectedNoFault :: Bool
   , -- | #limits-maxPerSetDescriptors# @maxPerSetDescriptors@ is a maximum number
     -- of descriptors (summed over all descriptor types) in a single descriptor

diff --git a/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs b/src/Vulkan/Core12/Promoted_From_VK_KHR_create_renderpass2.hs
@@ -1904,17 +1904,17 @@ instance es ~ '[] => Zero (SubpassDependency2 es) where
 --
 -- -   #VUID-VkRenderPassCreateInfo2-rasterizationSamples-04905# If the
 --     pipeline is being created with fragment shader state, and the
---     VK_QCOM_render_pass_shader_resolve extension is enabled, and if
---     subpass has any input attachments, and if the subpass description
---     contains
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_QCOM_render_pass_shader_resolve VK_QCOM_render_pass_shader_resolve>
+--     extension is enabled, and if subpass has any input attachments, and
+--     if the subpass description contains
 --     'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM',
 --     then the sample count of the input attachments /must/ equal
 --     @rasterizationSamples@
 --
 -- -   #VUID-VkRenderPassCreateInfo2-sampleShadingEnable-04906# If the
 --     pipeline is being created with fragment shader state, and the
---     VK_QCOM_render_pass_shader_resolve extension is enabled, and if the
---     subpass description contains
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_QCOM_render_pass_shader_resolve VK_QCOM_render_pass_shader_resolve>
+--     extension is enabled, and if the subpass description contains
 --     'Vulkan.Core10.Enums.SubpassDescriptionFlagBits.SUBPASS_DESCRIPTION_FRAGMENT_REGION_BIT_QCOM',
 --     then @sampleShadingEnable@ /must/ be false
 --

diff --git a/src/Vulkan/Core12/Promoted_From_VK_KHR_draw_indirect_count.hs b/src/Vulkan/Core12/Promoted_From_VK_KHR_draw_indirect_count.hs
@@ -219,7 +219,9 @@ foreign import ccall
 --     the same pipeline bind point
 --
 -- -   #VUID-vkCmdDrawIndirectCount-commandBuffer-02707# If @commandBuffer@
---     is an unprotected command buffer, any resource accessed by the
+--     is an unprotected command buffer and
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#limits-protectedNoFault protectedNoFault>
+--     is not supported, any resource accessed by the
 --     'Vulkan.Core10.Handles.Pipeline' object bound to the pipeline bind
 --     point used by this command /must/ not be a protected resource
 --
@@ -1143,10 +1145,11 @@ foreign import ccall
 --     the same pipeline bind point
 --
 -- -   #VUID-vkCmdDrawIndexedIndirectCount-commandBuffer-02707# If
---     @commandBuffer@ is an unprotected command buffer, any resource
---     accessed by the 'Vulkan.Core10.Handles.Pipeline' object bound to the
---     pipeline bind point used by this command /must/ not be a protected
---     resource
+--     @commandBuffer@ is an unprotected command buffer and
+--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#limits-protectedNoFault protectedNoFault>
+--     is not supported, any resource accessed by the
+--     'Vulkan.Core10.Handles.Pipeline' object bound to the pipeline bind
+--     point used by this command /must/ not be a protected resource
 --
 -- -   #VUID-vkCmdDrawIndexedIndirectCount-None-04115# If a
 --     'Vulkan.Core10.Handles.ImageView' is accessed using @OpImageWrite@

diff --git a/src/Vulkan/Extensions/VK_AMD_buffer_marker.hs b/src/Vulkan/Extensions/VK_AMD_buffer_marker.hs
@@ -75,11 +75,11 @@
 --
 --     -   Initial revision
 --
--- = See Also
+-- == See Also
 --
 -- 'cmdWriteBufferMarkerAMD'
 --
--- = Document Notes
+-- == Document Notes
 --
 -- For more information, see the
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMD_buffer_marker Vulkan Specification>

diff --git a/src/Vulkan/Extensions/VK_AMD_device_coherent_memory.hs b/src/Vulkan/Extensions/VK_AMD_device_coherent_memory.hs
@@ -82,11 +82,11 @@
 --
 --     -   Initial revision
 --
--- = See Also
+-- == See Also
 --
 -- 'PhysicalDeviceCoherentMemoryFeaturesAMD'
 --
--- = Document Notes
+-- == Document Notes
 --
 -- For more information, see the
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMD_device_coherent_memory Vulkan Specification>

diff --git a/src/Vulkan/Extensions/VK_AMD_device_coherent_memory.hs-boot b/src/Vulkan/Extensions/VK_AMD_device_coherent_memory.hs-boot
@@ -82,11 +82,11 @@
 --
 --     -   Initial revision
 --
--- = See Also
+-- == See Also
 --
 -- 'PhysicalDeviceCoherentMemoryFeaturesAMD'
 --
--- = Document Notes
+-- == Document Notes
 --
 -- For more information, see the
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMD_device_coherent_memory Vulkan Specification>

diff --git a/src/Vulkan/Extensions/VK_AMD_display_native_hdr.hs b/src/Vulkan/Extensions/VK_AMD_display_native_hdr.hs
@@ -112,12 +112,12 @@
 --
 --     -   Initial revision
 --
--- = See Also
+-- == See Also
 --
 -- 'DisplayNativeHdrSurfaceCapabilitiesAMD',
 -- 'SwapchainDisplayNativeHdrCreateInfoAMD', 'setLocalDimmingAMD'
 --
--- = Document Notes
+-- == Document Notes
 --
 -- For more information, see the
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMD_display_native_hdr Vulkan Specification>

diff --git a/src/Vulkan/Extensions/VK_AMD_display_native_hdr.hs-boot b/src/Vulkan/Extensions/VK_AMD_display_native_hdr.hs-boot
@@ -112,12 +112,12 @@
 --
 --     -   Initial revision
 --
--- = See Also
+-- == See Also
 --
 -- 'DisplayNativeHdrSurfaceCapabilitiesAMD',
 -- 'SwapchainDisplayNativeHdrCreateInfoAMD', 'setLocalDimmingAMD'
 --
--- = Document Notes
+-- == Document Notes
 --
 -- For more information, see the
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMD_display_native_hdr Vulkan Specification>

diff --git a/src/Vulkan/Extensions/VK_AMD_draw_indirect_count.hs b/src/Vulkan/Extensions/VK_AMD_draw_indirect_count.hs
@@ -93,11 +93,11 @@
 --
 --     -   Initial draft
 --
--- = See Also
+-- == See Also
 --
 -- 'cmdDrawIndexedIndirectCountAMD', 'cmdDrawIndirectCountAMD'
 --
--- = Document Notes
+-- == Document Notes
 --
 -- For more information, see the
 -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMD_draw_indirect_count Vulkan Specification>