no-op to get a push

[ardour-manual] / source / index.html
diff --git a/source/index.html b/source/index.html

index 5778a1290be59b05516c9bfce6d9af29feb2377e..0dff123b57f7b2dc74c60ce72e96ae819391ae27 100644 (file)
--- a/source/index.html
+++ b/source/index.html
@@ -1,6 +1,6 @@
  <html>
  <head>
-<meta http-equiv="refresh" content="0; url=/toc/"/>
+<meta  http-equiv="refresh" content="0; url=/toc/"/>
  </head>
  <body>
  </body>