diff --git a/docs/pci-hotplug.html.in b/docs/pci-hotplug.html.in
index 4ac87d644fc31cf057cf156621ed8d5a0fece999..9a26645aa45634212675fd80ad0088ff2ecdde36 100644
--- a/docs/pci-hotplug.html.in
+++ b/docs/pci-hotplug.html.in
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<!DOCTYPE html>
 <html xmlns="http://www.w3.org/1999/xhtml">
   <body>
     <h1>PCI topology and hotplug</h1>
