You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
cdist-mirror/Makefile

57 lines
1.1 KiB

# General
PREFIX=/usr
BINDIR=$(PREFIX)/bin
MANDIR=$(PREFIX)/share/man
A2X=a2x -f manpage --no-xmllint
# Developer only
WEBDIR=$$HOME/niconetz
WEBPAGE=software/cdist.mdwn
MANSRC=doc/man/cdist-config-layout.text \
doc/man/cdist-config.text \
doc/man/cdist-explorer.text \
doc/man/cdist-quickstart.text \
doc/man/cdist-stages.text \
doc/man/cdist-terms.text \
doc/man/cdist-type.text
MANSRC=doc/man/cdist.text \
doc/man/cdist-deploy-to.text \
doc/man/cdist-manifest.text \
################################################################################
# User targets
#
all: man
man: doc/man/.marker
doc/man/.marker: $(MANSRC)
for man in $(MANSRC); do $(A2X) $$man; done
touch $@
clean:
rm -f doc/man/*.html doc/man/*.[1-9]
################################################################################
# Developer targets
#
test:
# ubuntu
.rsync lyni@tablett:cdist
# redhat
.rsync nicosc@free.ethz.ch:cdist
# gentoo
.rsync nicosc@ru3.inf.ethz.ch:cdist
web:
cp REAL_README $(WEBDIR)/$(WEBPAGE)
cd $(WEBDIR) && git commit -m "cdist update" $(WEBPAGE)
cd $(WEBDIR) && make pub
pub:
git push --mirror