diff --git a/content/doxygen b/content/doxygen new file mode 120000 index 0000000000000000000000000000000000000000..8a21cada69d352bf6cb417401d0c1fbce5164fca --- /dev/null +++ b/content/doxygen @@ -0,0 +1 @@ +../external/all_install/share/doc/ALL/html \ No newline at end of file diff --git a/content/sphinx b/content/sphinx new file mode 120000 index 0000000000000000000000000000000000000000..081e830e91dd83bc4a93816c3e35deaba5d061fb --- /dev/null +++ b/content/sphinx @@ -0,0 +1 @@ +../external/all_install/share/doc/ALL/sphinx \ No newline at end of file