Skip to content

Commit

Permalink
chore(docs): add update-docs.sh script
Browse files Browse the repository at this point in the history
  • Loading branch information
claudiodangelis committed Dec 9, 2023
1 parent 56ec53e commit 949f2bb
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions docs/update-docs.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
#!/bin/bash
if ! [[ $(git rev-parse --show-toplevel 2>/dev/null) = "$PWD" ]]; then
echo "error: script should be run from the root of the repository"
exit 1
fi
cp README.md docs/index.md
find docs -name "*.md" | while read page
do
sed -i 's/docs\/img/img/g' $page
done

0 comments on commit 949f2bb

Please sign in to comment.