diff --git a/python/sdist/amici/_installation/include b/python/sdist/amici/_installation/include deleted file mode 120000 index cc792a376d..0000000000 --- a/python/sdist/amici/_installation/include +++ /dev/null @@ -1 +0,0 @@ -../../../../include/ \ No newline at end of file diff --git a/python/sdist/amici/_installation/include/amici b/python/sdist/amici/_installation/include/amici new file mode 120000 index 0000000000..de6ced0932 --- /dev/null +++ b/python/sdist/amici/_installation/include/amici @@ -0,0 +1 @@ +../../../../../include/amici \ No newline at end of file