Fix hyperlink to profiler options (capitalone#1003)

* update * EOF line
ksneab7 · Aug 7, 2023 · 36af779 · 36af779
1 parent 73f5d2b
commit 36af779
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/docs/update_documentation.py b/docs/update_documentation.py
@@ -74,3 +74,13 @@
 )
 index_file.write(redirect_link)
 index_file.close()
+
+# update the profiler_options.html file to redirect to detailed options docs
+index_file = open("../profiler_options.html", "w")
+redirect_link = (
+    '<meta http-equiv="refresh" content="0; url=./docs/'
+    + version
+    + '/html/profiler.html#profile-options" />'
+)
+index_file.write(redirect_link)
+index_file.close()
diff --git a/profiler_options.html b/profiler_options.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=./docs/0.10.2/html/profiler.html#profile-options" />
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		<meta http-equiv="refresh" content="0; url=./docs/0.10.2/html/profiler.html#profile-options" />