install-WWW:
-$(INSTALL) -m 755 -d $(DESTDIR)$(webdir)
rsync -rl $(outdir)/offline-root/ $(DESTDIR)$(webdir)
+
+install-info-WWW:
$(MAKE) -C Documentation/user install-info
$(MAKE) -C input/lsr install-info
+ (cd $(DESTDIR)$(infodir) && rm -f lilypond && ln -sf $(shell $(PYTHON) $(buildscript-dir)/relative $(DESTDIR)$(webdir)/Documentation/user) lilypond)
web-install:
$(MAKE) out=www install-WWW
+ $(MAKE) out=www install-info-WWW
uninstall-WWW:
rm -rf $(DESTDIR)$(webdir)
--- /dev/null
+#! @PYTHON@
+
+import os
+import sys
+
+def relative (dir, r=os.getcwd ()):
+ dir = os.path.normpath (dir) + '/'
+ r = os.path.normpath (r) + '/'
+ prefix = len (os.path.commonprefix ((dir, r)))
+ if prefix == len (dir):
+ return './'
+ if prefix > 1:
+ return '../' * len (r[prefix:].split ('/')) + dir[prefix:]
+ return dir
+
+if __name__ == '__main__':
+ print relative (sys.argv[1])