Added redirect for moved page
This commit is contained in:
parent
02e069783b
commit
1b46b8aecb
|
@ -51,6 +51,6 @@ fedora distribution, we will use the pre-made firesim config at
|
|||
booting a workload (e.g. :ref:`single-node-sim` or :ref:`cluster-sim`).
|
||||
|
||||
.. attention:: For the standard distributions we provide pre-built firesim
|
||||
configurations. In general, FireMarshal can derive a FireSim configuration from
|
||||
workloads. In general, FireMarshal can derive a FireSim configuration from
|
||||
the FireMarshal configuration using the ``install`` command (see
|
||||
:ref:`firemarshal-commands`)
|
||||
|
|
|
@ -0,0 +1,8 @@
|
|||
<html>
|
||||
<head>
|
||||
<meta http-equiv="refresh" content="1; url=index.html:" />
|
||||
<script>
|
||||
window.location.href = "index.html"
|
||||
</script>
|
||||
</head>
|
||||
</html>
|
|
@ -1,3 +1,5 @@
|
|||
.. _defining-custom-workloads:
|
||||
|
||||
Workload Generation (FireMarshal)
|
||||
================
|
||||
Workload generation in FireSim is handled by a tool called **FireMarshal** in
|
||||
|
|
19
docs/conf.py
19
docs/conf.py
|
@ -6,6 +6,9 @@
|
|||
# full list see the documentation:
|
||||
# http://www.sphinx-doc.org/en/master/config
|
||||
|
||||
import shutil
|
||||
import os
|
||||
|
||||
# -- Path setup --------------------------------------------------------------
|
||||
|
||||
# If extensions (or modules to document with autodoc) are in another directory,
|
||||
|
@ -160,3 +163,19 @@ texinfo_documents = [
|
|||
author, 'FireSim', 'One line description of project.',
|
||||
'Miscellaneous'),
|
||||
]
|
||||
|
||||
# -- handle re-directs for pages that move
|
||||
# taken from https://tech.signavio.com/2017/managing-sphinx-redirects
|
||||
|
||||
redirect_files = [ 'Advanced-Usage/Workloads/Defining-Custom-Workloads.html' ]
|
||||
|
||||
def copy_legacy_redirects(app, docname): # Sphinx expects two arguments
|
||||
if app.builder.name == 'html':
|
||||
for html_src_path in redirect_files:
|
||||
target_path = app.outdir + '/' + html_src_path
|
||||
src_path = app.srcdir + '/' + html_src_path
|
||||
if os.path.isfile(src_path):
|
||||
shutil.copyfile(src_path, target_path)
|
||||
|
||||
def setup(app):
|
||||
app.connect('build-finished', copy_legacy_redirects)
|
||||
|
|
Loading…
Reference in New Issue