From 8027e902999d987c1db50fd4d16ef65ea4cd0fb2 Mon Sep 17 00:00:00 2001
From: Fuqiao Xue <xfq@w3.org>
Date: Thu, 16 Jul 2020 16:47:17 +0800
Subject: [PATCH] Use the respec-w3c profile

The `w3c-common` profile was no longer updated.
See https://github.com/w3c/respec/pull/2838 for details.
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 0384f03a..ef26dbf6 100644
--- a/index.html
+++ b/index.html
@@ -6,7 +6,7 @@
 
 <link rel="stylesheet" href="local.css" />
 
-<script async class="remove" src="https://www.w3.org/Tools/respec/respec-w3c-common"></script>
+<script async class="remove" src="https://www.w3.org/Tools/respec/respec-w3c"></script>
 <script defer src="script.js"></script>
 
 <script class="remove">