Skip to content

Commit

Permalink
Fixed docs (#828)
Browse files Browse the repository at this point in the history
  • Loading branch information
UebelAndre authored Dec 3, 2021
1 parent 0cf751c commit 66f9245
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/docs-0.1.0.patch
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ index a5a37ac..e381ce8 100644
+++ b/docs/BUILD.bazel
@@ -35,7 +35,7 @@ genrule(
cmd = """cat << EOF > $@
#!/usr/bin/env bash
#!/bin/bash
set -e
-cat \\$${BUILD_WORKSPACE_DIRECTORY}/$(location //:docs) > \\$${BUILD_WORKSPACE_DIRECTORY}/README.md
+cat \\$${BUILD_WORKSPACE_DIRECTORY}/$(location //:docs) > \\$${BUILD_WORKSPACE_DIRECTORY}/src/index.md
Expand Down
2 changes: 1 addition & 1 deletion .github/docs-0.2.0.patch
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ index a5a37ac..091e679 100644
+++ b/docs/BUILD.bazel
@@ -35,7 +35,7 @@ genrule(
cmd = """cat << EOF > $@
#!/usr/bin/env bash
#!/bin/bash
set -e
-cat \\$${BUILD_WORKSPACE_DIRECTORY}/$(location //:docs) > \\$${BUILD_WORKSPACE_DIRECTORY}/README.md
+cat \\$${BUILD_WORKSPACE_DIRECTORY}/$(location //:docs) > \\$${BUILD_WORKSPACE_DIRECTORY}/src/index.md
Expand Down
2 changes: 1 addition & 1 deletion .github/docs-0.3.0.patch
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ index 461df15..efa4c26 100644
+ srcs = DOCS_TARGETS + ["index.md"],
outs = ["generate_docs.sh"],
cmd = """cat << EOF > $@
#!/usr/bin/env bash
#!/bin/bash
set -euo pipefail
-cat \\$${BUILD_WORKSPACE_DIRECTORY}/$(location //:flatten_docs) > \\$${BUILD_WORKSPACE_DIRECTORY}/flatten.md
-cat \\$${BUILD_WORKSPACE_DIRECTORY}/$(location //:cmake_docs) > \\$${BUILD_WORKSPACE_DIRECTORY}/cmake.md
Expand Down

0 comments on commit 66f9245

Please sign in to comment.