unshare.2: wfix
[man-pages.git] / Makefile
blob2f9ba8f035b44f3286b52ab6a3edcb89cd61a775
1 # Do "make screen" first, if you want to protect already installed,
2 # more up-to-date manual pages than the ones included in this package.
3 # Do "make install" to copy the pages to their destination.
4 # Do "make gz" or "make bz2" first if you use compressed source pages.
6 DESTDIR=
7 prefix?=/usr
8 MANDIR=$(prefix)/share/man
10 GZIP=gzip -9
11 BZIP2=bzip2 -9
13 all: screen remove install
15 allgz: gz all
17 allbz: bz2 all
19 screen:
20 mkdir -p not_installed
21 for i in man?/*; do \
22 if [ $(MANDIR)/"$$i" -nt "$$i" ]; then \
23 cmp -s $(MANDIR)/"$$i" "$$i" > /dev/null 2>&1; \
24 if [ "$$?" != 0 ]; then mv "$$i" not_installed; fi; \
25 fi; \
26 done
28 uninstall remove:
29 for i in man?/*; do \
30 rm -f $(MANDIR)/"$$i" $(MANDIR)/"$$i".gz $(MANDIR)/"$$i".bz2; \
31 done
33 gz:
34 for i in man?; do $(GZIP) "$$i"/*; done
36 bz2:
37 for i in man?; do $(BZIP2) "$$i"/*; done
39 # Use with
40 # make HTDIR=/some/dir HTOPTS=whatever html
41 # The sed removes the lines "Content-type: text/html\n\n"
42 html:
43 @if [ x$(HTDIR) = x ]; then echo "You must set HTDIR."; else \
44 for i in man?; do \
45 [ -d $(HTDIR)/"$$i" ] || mkdir -p $(HTDIR)/"$$i"; \
46 find "$$i/" -type f | while read f; do \
47 (cd "$$i"; man2html $(HTOPTS) `basename $$f`) | \
48 sed -e '1,2d' > $(HTDIR)/"$$i"/`basename $$f`.html; \
49 done; \
50 done; fi
52 install:
53 for i in man?; do \
54 install -d -m 755 $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \
55 install -m 644 "$$i"/* $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \
56 done; \
58 # Check if groff reports warnings (may be words of sentances not displayed)
59 # from http://lintian.debian.org/tags/manpage-has-errors-from-man.html
60 GROFF_LOG := $(shell mktemp /tmp/manpages-checksXXXX)
61 check-groff-warnings:
62 for i in man?/*.[1-9]; \
63 do \
64 if grep -q 'SH.*NAME' $$i; then \
65 LC_ALL=en_US.UTF-8 MANWIDTH=80 man --warnings -E UTF-8 -l $$i > /dev/null 2>$(GROFF_LOG); \
66 [ -s $(GROFF_LOG) ] && ( echo "$$i: " ; cat $(GROFF_LOG) ; echo "" ); \
67 rm $(GROFF_LOG) 2>/dev/null; \
68 fi \
69 done
71 # someone might also want to look at /var/catman/cat2 or so ...
72 # a problem is that the location of cat pages varies a lot