comparison Makefile @ 230:acf1b848de1d

Makefile: Improve Savannah updates.
author Kai T. Ohlhus <k.ohlhus@gmail.com>
date Tue, 29 Sep 2020 13:47:42 +0900
parents 7a664b44fd8d
children bdfeef18fc48
comparison
equal deleted inserted replaced
229:8a3df033e584 230:acf1b848de1d
33 # Copy the content of that directory `_site` into the checked out 33 # Copy the content of that directory `_site` into the checked out
34 # Savannah CVS (see make target $(SAVANNAH_DIR)). 34 # Savannah CVS (see make target $(SAVANNAH_DIR)).
35 # 35 #
36 cp -a _site/. $(SAVANNAH_DIR) 36 cp -a _site/. $(SAVANNAH_DIR)
37 # 37 #
38 # Avoid multiple key authentications for the next step
39 #
40 ssh-add
41 #
38 # Add all potential new directories to CVS 42 # Add all potential new directories to CVS
39 # 43 #
40 cd $(SAVANNAH_DIR) \ 44 cd $(SAVANNAH_DIR) \
41 && find . -type d -not -name "CVS" -exec cvs add '{}' \; \ 45 && find . -type d -not -name "CVS" -exec cvs add '{}' \; \
42 | true # succeed in any case 46 | true # succeed in any case
47 # 51 #
48 cd $(SAVANNAH_DIR) && find . -type f | grep -v CVS | xargs cvs add | true 52 cd $(SAVANNAH_DIR) && find . -type f | grep -v CVS | xargs cvs add | true
49 # 53 #
50 # Commit the changes to get online. 54 # Commit the changes to get online.
51 # 55 #
52 cd $(SAVANNAH_DIR) && cvs commit 56 cd $(SAVANNAH_DIR) && cvs commit -m "Update website."
53 # 57 #
54 # Now everything should be visible to the world. 58 # Now everything should be visible to the world.
55 # 59 #
56 60
57 $(SAVANNAH_DIR): 61 $(SAVANNAH_DIR):