GitBucket
4.21.2
Toggle navigation
Snippets
Sign in
Files
Branches
1
Releases
Issues
Pull requests
Labels
Priorities
Milestones
Wiki
Forks
nigel.stanger
/
Digital_Repository
Browse code
- Added Makefile.
master
1 parent
78d30b9
commit
ad36a088e8d600352faa0457a3098592bfc52ae0
nstanger
authored
on 28 Nov 2005
Patch
Showing
1 changed file
Repositories/Misc/Makefile
Ignore Space
Show notes
View
Repositories/Misc/Makefile
0 → 100755
SHELL=/bin/sh EPRINTS:=/usr/local/eprints SRC_FILES:=$(shell find . -name "*_local") DST_FILES:=$(subst ./,$(EPRINTS)/,$(SRC_FILES)) .PHONY: deploy deploy: $(DST_FILES) @announce "Correcting ownership and permissions..." sudo chown www:www $(DST_FILES) sudo chmod 755 $(DST_FILES) $(EPRINTS)/%: ./% @announce "Copying $<..." sudo cp $< $@ debug: @echo "EPRINTS = [$(EPRINTS)]" @echo "SRC_FILES = [$(SRC_FILES)]" @echo "DST_FILES = [$(DST_FILES)]"
Show line notes below