diff --git a/documentation/html_footer b/documentation/html_footer new file mode 100644 index 000000000..d273d2ff1 --- /dev/null +++ b/documentation/html_footer @@ -0,0 +1,9 @@ +