[spec] Move all repo-specifics to conf.py (WebAssembly#1308)

Author: rossberg

document/core/conf.py

@@ -64,14 +64,23 @@
 editor = u'Andreas Rossberg (editor)'
 logo = 'static/webassembly.png'
 
+# The name of the GitHub repository this resides in
+repo = 'spec'
+
+# The name of the proposal it represents, if any
+proposal = ''
+
+# The draft version string (clear out for release cuts)
+draft = ' (Draft ' + date.today().strftime("%Y-%m-%d") + ')'
+
 # The version info for the project you're documenting, acts as replacement for
 # |version| and |release|, also used in various other places throughout the
 # built documents.
 #
 # The short X.Y version.
 version = u'1.1'
 # The full version, including alpha/beta/rc tags.
-release = version + ' (Draft ' + date.today().strftime("%Y-%m-%d") + ')'
+release = version + ('' if proposal == '' else ' + ') + proposal + draft
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
@@ -477,6 +486,8 @@
 
 # Macros
 rst_prolog = """
+.. |issuelink| replace:: https://github.com/webassembly/""" + repo + """/issues/
+.. |pagelink| replace:: https://webassembly.github.io/""" + repo + """/core/
 .. include:: /""" + pwd + """/util/macros.def
 """
 

document/core/util/macros.def

@@ -3,11 +3,11 @@
 .. External Standards
 .. ------------------
 
-.. |WasmDraft| replace:: https://webassembly.github.io/spec/core/
-.. _WasmDraft: https://webassembly.github.io/spec/core/
+.. |WasmDraft| replace:: |pagelink|
+.. _WasmDraft: |pagelink|
 
-.. |WasmIssues| replace:: https://github.com/webassembly/spec/issues/
-.. _WasmIssues: https://github.com/webassembly/spec/issues/
+.. |WasmIssues| replace:: |issuelink|
+.. _WasmIssues: |issuelink|
 
 .. |IEEE754| replace:: IEEE 754-2019
 .. _IEEE754: https://ieeexplore.ieee.org/document/8766229