diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5eed29f9600af29f1f1f06f5fe3cb06b71bbd47f..67a7b26d7a0155dd4480b07e1dd48435499f7617 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -37,7 +37,7 @@ pages: - cloudlab - emulab - phantomnet - script: "mkdir public/; cp -r apt-manual cloudlab-manual emulab-manual phantomnet-manual public/" + script: "mkdir public/; cp -r apt-manual cloudlab-manual emulab-manual phantomnet-manual public/; cp toplevel-toc.html public/index.html" artifacts: paths: - - public/ \ No newline at end of file + - public/ diff --git a/toplevel-toc.html b/toplevel-toc.html new file mode 100644 index 0000000000000000000000000000000000000000..60e99d7b852e713c0b0d78aa01a0972af3e6c177 --- /dev/null +++ b/toplevel-toc.html @@ -0,0 +1,14 @@ + + + Testbed Manuals + + +

Testbed Manuals

+ + +