diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 30 |
1 files changed, 16 insertions, 14 deletions
@@ -1,22 +1,21 @@ +# Comments may appear before .POSIX: BOOK = using-git PKGNAME = using-git TEXINFO_DIR = . PREFIX = /usr -DATA = /share -DATADIR = $(DATADIR) +DATADIR = $(PREFIX)/share INFODIR = $(DATADIR)/info DOCDIR = $(DATADIR)/doc LICENSEDIR = $(DATADIR)/licenses -TEXIFLAGS = #--force - - +MAKEINFO = makeinfo +TEXI2DVI = texi2dvi +TEXIFLAGS = .PHONY: all all: - .PHONY: install install: @@ -75,13 +74,17 @@ dvi: $(BOOK).dvi .PHONY: install-info install-pdf install-dvi install-ps install: install-info install-info: $(BOOK).info - install -Dm644 "$<" -- "$(DESTDIR)$(INFODIR)/$(PKGNAME).info" + mkdir -p -- "$(DESTDIR)$(INFODIR)" + cp -f -- $(BOOK).info "$(DESTDIR)$(INFODIR)/$(PKGNAME).info" install-pdf: $(BOOK).pdf - install -Dm644 "$<" -- "$(DESTDIR)$(DOCDIR)/$(PKGNAME).pdf" + mkdir -p -- "$(DESTDIR)$(DOCDIR)" + cp -f -- $(BOOK).pdf "$(DESTDIR)$(DOCDIR)/$(PKGNAME).pdf" install-dvi: $(BOOK).dvi - install -Dm644 "$<" -- "$(DESTDIR)$(DOCDIR)/$(PKGNAME).dvi" + mkdir -p -- "$(DESTDIR)$(DOCDIR)" + cp -f -- $(BOOK).dvi "$(DESTDIR)$(DOCDIR)/$(PKGNAME).dvi" install-ps: $(BOOK).ps - install -Dm644 "$<" -- "$(DESTDIR)$(DOCDIR)/$(PKGNAME).ps" + mkdir -p -- "$(DESTDIR)$(DOCDIR)" + cp -f -- $(BOOK).ps "$(DESTDIR)$(DOCDIR)/$(PKGNAME).ps" .PHONY: uninstall-info uninstall-pdf uninstall-dvi uninstall-ps uninstall: uninstall-info uninstall-pdf uninstall-dvi uninstall-ps @@ -97,19 +100,18 @@ uninstall-ps: .PHONY: clean-texinfo clean: clean-texinfo clean-texinfo: - -rm -r -- *.{info,pdf,ps,dvi} + -rm -f -- $(BOOK).info $(BOOK).pdf $(BOOK).ps $(BOOK).dvi ## License section .PHONY: install-license install: install-license install-license: - install -d -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)" - install -m644 LICENSE -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)" + @mkdir -p -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/" + cp -f -- LICENSE "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/LICENSE" .PHONY: uninstall-license uninstall: uninstall-license uninstall-license: -rm -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)/LICENSE" -rmdir -- "$(DESTDIR)$(LICENSEDIR)/$(PKGNAME)" - |