forked from ungleich-public/cdist
711fea9e7e
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
39 lines
1,019 B
Makefile
39 lines
1,019 B
Makefile
PREFIX=/usr
|
|
BINDIR=$(PREFIX}/bin
|
|
WEBDIR=$$HOME/niconetz
|
|
WEBPAGE=software/cdist.mdwn
|
|
|
|
MANSRC=doc/man/cdist-config-layout.text doc/man/cdist-config.text \
|
|
doc/man/cdist-deploy-to.text doc/man/cdist-design.text \
|
|
doc/man/cdist-environment.text doc/man/cdist-explorers.text \
|
|
doc/man/cdist-language.text doc/man/cdist-manifests.text \
|
|
doc/man/cdist-quickstart.text doc/man/cdist-stages.text \
|
|
doc/man/cdist-terms.text doc/man/cdist.text \
|
|
doc/man/cdist-types.text
|
|
|
|
|
|
# FIXME: some distro nerd, can you make this more beautiful?
|
|
# I'm just a hacker, I don't really care...
|
|
install:
|
|
cp bin/* $(BINDIR)
|
|
|
|
sync:
|
|
# 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
|
|
|
|
man:
|
|
echo $(MANSRC)
|
|
a2x -f manpage --no-xmllint doc/man/cdist-stages.text
|
|
echo man ./doc/man/cdist-stages.7
|