diff options
Diffstat (limited to 'man-pages-posix-2003/Makefile')
| -rw-r--r-- | man-pages-posix-2003/Makefile | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/man-pages-posix-2003/Makefile b/man-pages-posix-2003/Makefile new file mode 100644 index 0000000..7e71ec0 --- /dev/null +++ b/man-pages-posix-2003/Makefile @@ -0,0 +1,59 @@ +# Do "make screen" first, if you want to protect already installed, +# more up-to-date manual pages than the ones included in this package. +# Do "make install" to copy the pages to their destination. +# Do "make gz" or "make bz2" first if you use compressed source pages. + +DESTDIR= +prefix?=/usr +MANDIR=$(prefix)/share/man + +GZIP=gzip -9 +BZIP2=bzip2 -9 + +all: screen remove install + +allgz: gz all + +allbz: bz2 all + +screen: + -mkdir not_installed + for i in man?p/*; do \ + if [ $(MANDIR)/"$$i" -nt "$$i" ]; then \ + cmp -s $(MANDIR)/"$$i" "$$i" > /dev/null 2>&1; \ + if [ "$$?" != 0 ]; then mv "$$i" not_installed; fi; \ + fi; \ + done + +remove: + for i in man?p/*; do \ + rm -f $(MANDIR)/"$$i" $(MANDIR)/"$$i".gz $(MANDIR)/"$$i".bz2; \ + done + +gz: + for i in man?p; do $(GZIP) "$$i"/*; done + +bz2: + for i in man?p; do $(BZIP2) "$$i"/*; done + +# Use with +# make HTDIR=/some/dir HTOPTS=whatever html +# The sed removes the lines "Content-type: text/html\n\n" +html: + @if [ x$(HTDIR) = x ]; then echo "You must set HTDIR."; else \ + for i in man?p; do \ + [ -d $(HTDIR)/"$$i" ] || mkdir -p $(HTDIR)/"$$i"; \ + find "$$i/" -type f | while read f; do \ + (cd "$$i"; man2html $(HTOPTS) `basename $$f`) | \ + sed -e '1,2d' > $(HTDIR)/"$$i"/`basename $$f`.html; \ + done; \ + done; fi + +install: + for i in man?p; do \ + install -d -m 755 $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \ + install -m 644 "$$i"/* $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \ + done; \ + +# someone might also want to look at /var/catman/cat2 or so ... +# a problem is that the location of cat pages varies a lot |