diff --git a/webapp/Makefile b/webapp/Makefile index 3c1d1340bc..f4000332c9 100644 --- a/webapp/Makefile +++ b/webapp/Makefile @@ -62,17 +62,7 @@ install-domserver: $(call install_tree,$(DESTDIR)$(domserver_webappdir),$$d) ; \ done # Change webapp/public/doc symlink - rm $(DESTDIR)$(domserver_webappdir)/public/doc - ln -s $(domjudge_docdir) $(DESTDIR)$(domserver_webappdir)/public/doc -# Now change all relative symlinks in webapp/public to their correct paths - for link in $$(find $(DESTDIR)$(domserver_webappdir)/public/$$dir -maxdepth 2 -type l); do \ - target=$$(readlink $$link) ; \ - case $${target} in *../vendor*) \ - rm $$link ; \ - realtarget=$(domserver_webappdir)/vendor$${target#*../vendor} ; \ - ln -s $$realtarget $$link ; \ - esac \ - done + ln -sf $(domjudge_docdir) $(DESTDIR)$(domserver_webappdir)/public/doc $(INSTALL_DATA) -t $(DESTDIR)$(domserver_webappdir) phpunit.xml.dist .env maintainer-conf: .env.local