]>
Commit | Line | Data |
---|---|---|
1 | # Do "make install" to copy the pages to their destination. | |
2 | ||
3 | DESTDIR= | |
4 | prefix?=/usr | |
5 | MANDIR=$(prefix)/share/man | |
6 | ||
7 | all: remove install | |
8 | ||
9 | uninstall remove: | |
10 | for i in man?/*; do \ | |
11 | rm -f $(MANDIR)/"$$i" $(MANDIR)/"$$i".*; \ | |
12 | done | |
13 | ||
14 | # Use with | |
15 | # make HTDIR=/some/dir HTOPTS=whatever html | |
16 | # The sed removes the lines "Content-type: text/html\n\n" | |
17 | html: | |
18 | @if [ x$(HTDIR) = x ]; then echo "You must set HTDIR."; else \ | |
19 | for i in man?; do \ | |
20 | [ -d $(HTDIR)/"$$i" ] || mkdir -p $(HTDIR)/"$$i"; \ | |
21 | find "$$i/" -type f | while read f; do \ | |
22 | (cd "$$i"; man2html $(HTOPTS) `basename $$f`) | \ | |
23 | sed -e '1,2d' > $(HTDIR)/"$$i"/`basename $$f`.html; \ | |
24 | done; \ | |
25 | done; fi | |
26 | ||
27 | install: | |
28 | for i in man?; do \ | |
29 | install -d -m 755 $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \ | |
30 | install -m 644 "$$i"/* $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \ | |
31 | done | |
32 | ||
33 | # Check if groff reports warnings (may be words of sentences not displayed) | |
34 | # from http://lintian.debian.org/tags/manpage-has-errors-from-man.html | |
35 | check-groff-warnings: | |
36 | GROFF_LOG="$$(mktemp --tmpdir manpages-checksXXXX)" || exit $$?; \ | |
37 | for i in man?/*.[1-9]; \ | |
38 | do \ | |
39 | if grep -q 'SH.*NAME' "$$i"; then \ | |
40 | LC_ALL=en_US.UTF-8 MANWIDTH=80 man --warnings -E UTF-8 -l "$$i" > /dev/null 2>| "$$GROFF_LOG"; \ | |
41 | [ -s "$$GROFF_LOG" ] && { echo "$$i: "; cat "$$GROFF_LOG"; echo; }; \ | |
42 | fi; \ | |
43 | done; \ | |
44 | rm -f "$$GROFF_LOG" | |
45 | ||
46 | # someone might also want to look at /var/catman/cat2 or so ... | |
47 | # a problem is that the location of cat pages varies a lot |