Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -133,6 +133,6 @@ jobs:
./update_versions.sh
git config user.name github-actions
git config user.email github-actions@github.com
git add . ../latest
git add .
git commit -m "Update documentation for release ${RELEASE}"
git push
2 changes: 2 additions & 0 deletions Scripts/git/gen_pack.sh
Original file line number Diff line number Diff line change
Expand Up @@ -109,6 +109,8 @@ PACK_DIRS="
# Specify file names to be added to pack base directory
PACK_BASE_FILES="
documentation/index.html
documentation/version.css
documentation/version.js
LICENSE
README.md
"
Expand Down
1 change: 0 additions & 1 deletion documentation/Doxygen_Templates/header.html
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@
$treeview
$search
$mathjax
<link href="$relpath^$extra_stylesheet" rel="stylesheet" type="text/css" />
$extrastylesheet
<link href="../version.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="../version.js"></script>
Expand Down
2 changes: 1 addition & 1 deletion documentation/how_to_deploy_the_arm_2d_library.md
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,7 @@ static void system_init(void)

**Figure 2-5 A Typical Configuration for A MDK project**

<img src="./pictures/HowToDeploy2_5.png" alt="image-20210323180956872" style="zoom:80%;" />
![image-20210323180956872](./pictures/HowToDeploy2_5.png)

**NOTE:**

Expand Down
39 changes: 39 additions & 0 deletions documentation/version.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
/* Dropdown Button */
.dropbtn {
margin: 0px;
padding: 0px 0px 0px 1ex;
background-image: url(dropdown.png);
background-repeat: no-repeat;
background-position: left center;
}

/* The container <div> - needed to position the dropdown content */
.dropdown {
position: relative;
display: inline-block;
}

/* Dropdown Content (Hidden by Default) */
.dropdown-content {
display: none;
position: absolute;
background-color: #f1f1f1;
min-width: 160px;
box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.4);
z-index: 1;
}

/* Links inside the dropdown */
.dropdown-content a {
# color: black;
color: #3A568E;
padding: 4px 6px;
text-decoration: none;
display: block;
}

/* Change color of dropdown links on hover */
.dropdown-content a:hover {background-color: #ddd}

/* Show the dropdown menu (use JS to add this class to the .dropdown-content container when the user clicks on the dropdown button) */
.show {display:block;}
3 changes: 3 additions & 0 deletions documentation/version.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
function myFunction() {
/* dummy function not used for local docs */
}