Skip to content

Commit

Permalink
Move webidl to APIs/idl (#55)
Browse files Browse the repository at this point in the history
* Move webidl to APIs/idl

* Change webidl title
  • Loading branch information
peterbrightwell authored Jul 14, 2022
1 parent 0827739 commit 50c0f69
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions extract-docs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -226,7 +226,7 @@ function render_webidl {

for i in "$webidl_dir"/*.webidl; do
HTML_EXAMPLE=${i%%.webidl}.html
render-webidl.sh -n "$i" "Example ${i##*/}" >> "$HTML_EXAMPLE"
render-webidl.sh -n "$i" "Framework definitions ${i##*/}" >> "$HTML_EXAMPLE"
done

echo "Moving webidl"
Expand Down Expand Up @@ -307,8 +307,8 @@ function extract_and_render {
render_examples testingfacade/examples
fi

if [ -d docs/idl ]; then
render_webidl docs/idl
if [ -d APIs/idl ]; then
render_webidl APIs/idl
fi
fi # AMWA_ID
)
Expand Down

0 comments on commit 50c0f69

Please sign in to comment.