diff options
author | Erich Eckner <git@eckner.net> | 2016-05-16 08:21:09 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2016-05-16 08:21:09 +0200 |
commit | c1232085610d084321cf2819e80d9e1a452ec2fd (patch) | |
tree | aec7285ebb5273b230145bd73a2525741781b233 | |
parent | 79a631d1b1958bc802ac0bf35282fe2de7cc9858 (diff) | |
download | Make-c1232085610d084321cf2819e80d9e1a452ec2fd.tar.xz |
passende Compileroptionen, manpage nach 1
-rw-r--r-- | Make.1.in (renamed from Make.8.in) | 2 | ||||
-rw-r--r-- | Makefile | 10 |
2 files changed, 7 insertions, 5 deletions
@@ -1,4 +1,4 @@ -.TH Make 8 "" "Make #VERSION#" "" +.TH Make 1 "" "Make #VERSION#" "" .SH NAME Make \- somewhat more powerfull alternative to make .SH SYNOPSIS @@ -25,10 +25,11 @@ MANDIR = /usr/share/man VERSION = 1.1.1 -all: Make Make.8 ewemake +all: Make Make.1 ewemake Make: Make.lp* *.pas - fpc Make.lpr + mkdir -p lib + fpc -FUlib Make.lpr %: %.in sed "s/#VERSION#/$(VERSION)/" $< > $@ @@ -37,7 +38,7 @@ Make: Make.lp* *.pas install: all install -D -m0755 -t $(DESTDIR)$(BINDIR) Make ewemake - install -D -m0644 -t $(DESTDIR)$(MANDIR)/man8 Make.8 + install -D -m0644 -t $(DESTDIR)$(MANDIR)/man1 Make.1 dist: clean git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true @@ -47,6 +48,7 @@ dist: clean git push --tags clean: - rm -f Make Make.8 ewemake *.ppu *.o + rm -f Make Make.1 ewemake + rm -rf lib # End of file |