diff options
-rwxr-xr-x | build/jsdoc | 3 | ||||
-rw-r--r-- | tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/code-tag.png | bin | 0 -> 1354 bytes | |||
-rw-r--r-- | tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/images/Galois_design_03.png | bin | 0 -> 999 bytes | |||
-rw-r--r-- | tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/logo.png | bin | 0 -> 3096 bytes |
4 files changed, 3 insertions, 0 deletions
diff --git a/build/jsdoc b/build/jsdoc index 510cf4c..539a148 100755 --- a/build/jsdoc +++ b/build/jsdoc @@ -17,3 +17,6 @@ pandoc ${template}/static/preludeIntro.md \ --template=${script_path}/jsdoc.css java -jar ${jsrun_jar} ${runjs} -a --template="${template}" -d="${target}" $@ + +# copy the some of the content of the 'static' template directory into the destination: +cp -rv ${template}/static/images/ "${target}/images"
\ No newline at end of file diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/code-tag.png b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/code-tag.png Binary files differnew file mode 100644 index 0000000..6497ed2 --- /dev/null +++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/code-tag.png diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/images/Galois_design_03.png b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/images/Galois_design_03.png Binary files differnew file mode 100644 index 0000000..c7fc299 --- /dev/null +++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/images/Galois_design_03.png diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/logo.png b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/logo.png Binary files differnew file mode 100644 index 0000000..151d3f0 --- /dev/null +++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/images/logo.png |