mirror of
https://github.com/gsi-upm/senpy
synced 2024-11-22 00:02:28 +00:00
a0abbede49
Update RDFlib to 6.1.1 (removed rdflib-jsonld, as it is deprecated) Bumped minimum python version: 3.7 (as a result of RDFLIB 6) Added ProxyFix to run behind nginx (Added --no-proxy to run without the fix) Replaced http media links to protocol-agnostic links in playground Enable CORS (via --enable-cors) Update old urls (replaced *.cluster.gsi.dit.upm.es with *.gsi.upm.es)
16 lines
540 B
Makefile
16 lines
540 B
Makefile
makefiles-remote:
|
|
git ls-remote --exit-code makefiles 2> /dev/null || git remote add makefiles ssh://git@lab.gsi.upm.es:2200/docs/templates/makefiles.git
|
|
|
|
makefiles-commit: makefiles-remote
|
|
git add -f .makefiles
|
|
git commit -em "Updated makefiles from ${NAME}"
|
|
|
|
makefiles-push:
|
|
git fetch makefiles $(NAME)
|
|
git subtree push --prefix=.makefiles/ makefiles $(NAME)
|
|
|
|
makefiles-pull: makefiles-remote
|
|
git subtree pull --prefix=.makefiles/ makefiles master --squash
|
|
|
|
.PHONY:: makefiles-remote makefiles-commit makefiles-push makefiles-pull
|