Commit a4deb5d5 authored by Paul Asmuth's avatar Paul Asmuth
Browse files

add favicon

parent 564aff16
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -17,6 +17,7 @@ cd "$(dirname "$0")/../.."

cp extra/web/documentation.css "${output_dir}"
cp extra/web/redirects.txt "${output_dir}/_redirects"
cp extra/web/favicon.ico "${output_dir}"
./extra/web/build_api_reference.py
./extra/web/build_examples.py
./extra/web/build_pages.py

extra/web/favicon.ico

0 → 100644
+5.56 KiB
Loading image diff...