Infrastructure: Update Respec Profile (pull #2127)

* Switch to respec-w3c profile * Change mailing list in config and header from aria to aria-practices.
w3c · Nov 14, 2021 · d9be6e7 · d9be6e7
1 parent 7a8a0fc
commit d9be6e7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 16 deletions.
diff --git a/aria-practices.html b/aria-practices.html
@@ -6,7 +6,7 @@
   <script src="common/script/resolveReferences.js" class="remove"></script>
   <script src="respec-config.js" class="remove"></script>
   <script src="common/biblio.js" class="remove"></script>
-  <script src="https://www.w3.org/Tools/respec/respec-w3c-common" class="remove"></script>
+  <script src="https://www.w3.org/Tools/respec/respec-w3c" class="remove"></script>
   <link href="common/css/common.css" rel="stylesheet" type="text/css" />
 </head>
 <body>
@@ -46,7 +46,7 @@
       To comment,
       <a href="https://github.com/w3c/aria-practices/issues/">file an issue in the <abbr title="World Wide Web Consortium">W3C</abbr> ARIA Practices GitHub repository</a>,
       or if that is not possible, send email to
-      <a href="mailto:public-aria@w3.org?subject=Comment%20on%20WAI-ARIA%20Practices%201.2">public-aria@w3.org</a>
+      <a href="mailto:public-aria-practices@w3.org?subject=Comment%20on%20WAI-ARIA%20Practices%201.2">public-aria-practices@w3.org</a>
       (<a href="http://lists.w3.org/Archives/Public/public-aria/">comment archive</a>).
     </p>
   </section>

diff --git a/respec-config.js b/respec-config.js
@@ -62,7 +62,6 @@ var respecConfig = {
     {
       name: 'Michael Cooper',
       url: 'https://www.w3.org/People/cooper/',
-      mailto: 'cooper@w3.org',
       company: 'W3C',
       companyURI: 'https://www.w3.org/',
       w3cid: 34017,
@@ -147,23 +146,12 @@ var respecConfig = {
   // ],
 
   // errata: 'https://www.w3.org/2010/02/rdfa/errata.html',
-
-  // name of the WG
-  wg: 'Accessible Rich Internet Applications Working Group',
-
-  // URI of the public WG page
-  wgURI: 'https://www.w3.org/WAI/ARIA/',
+  group: 'aria',
 
   // Name (without the @w3c.org) of the public mailing
   // to which comments are due.
-  wgPublicList: 'public-aria',
+  wgPublicList: 'public-aria-practices',
 
-  // URI of the patent status for this WG, for Rec-track documents
-  // !!!! IMPORTANT !!!!
-  // This is important for Rec-track documents, do not copy a patent URI
-  // from a random document unless you know what you're doing.
-  // If in doubt ask your friendly neighbourhood Team Contact.
-  wgPatentURI: 'https://www.w3.org/2004/01/pp-impl/83726/status',
   maxTocLevel: 4,
   // eslint-disable-next-line no-undef
   preProcess: [linkCrossReferences],