Vulkan-Docs.diff

diff --git a/xml/Makefile b/xml/Makefile
index 122a7dc..171604d 100644
--- a/xml/Makefile
+++ b/xml/Makefile
@@ -45,6 +45,7 @@ PLATFORM_HEADERS = \
     $(VULKAN)/vulkan_android.h \
     $(VULKAN)/vulkan_ios.h \
     $(VULKAN)/vulkan_macos.h \
+    $(VULKAN)/vulkan_magma.h \
     $(VULKAN)/vulkan_mir.h \
     $(VULKAN)/vulkan_vi.h \
     $(VULKAN)/vulkan_wayland.h \
diff --git a/xml/genvk.py b/xml/genvk.py
index 184ff0b..89c0577 100755
--- a/xml/genvk.py
+++ b/xml/genvk.py
@@ -254,6 +254,7 @@ def makeGenOpts(args):
                                                                   ], commonSuppressExtensions ],
         [ 'vulkan_ios.h',         [ 'VK_MVK_ios_surface'          ], commonSuppressExtensions ],
         [ 'vulkan_macos.h',       [ 'VK_MVK_macos_surface'        ], commonSuppressExtensions ],
+        [ 'vulkan_magma.h',       [ 'VK_KHR_magma_surface'        ], commonSuppressExtensions ],
         [ 'vulkan_mir.h',         [ 'VK_KHR_mir_surface'          ], commonSuppressExtensions ],
         [ 'vulkan_vi.h',          [ 'VK_NN_vi_surface'            ], commonSuppressExtensions ],
         [ 'vulkan_wayland.h',     [ 'VK_KHR_wayland_surface'      ], commonSuppressExtensions ],