2004-11-03 13:51:07 +00:00
|
|
|
# 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.
|
|
|
|
|
2007-07-12 16:47:37 +00:00
|
|
|
DESTDIR=
|
2007-06-10 18:28:39 +00:00
|
|
|
prefix?=/usr
|
|
|
|
MANDIR=$(prefix)/share/man
|
2004-11-03 13:51:07 +00:00
|
|
|
|
|
|
|
GZIP=gzip -9
|
|
|
|
BZIP2=bzip2 -9
|
|
|
|
|
|
|
|
all: screen remove install
|
|
|
|
|
|
|
|
allgz: gz all
|
|
|
|
|
|
|
|
allbz: bz2 all
|
|
|
|
|
|
|
|
screen:
|
|
|
|
-mkdir not_installed
|
|
|
|
for i in man?/*; 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:
|
2008-06-05 09:52:50 +00:00
|
|
|
for i in man?/*; do \
|
2004-11-03 13:51:07 +00:00
|
|
|
rm -f $(MANDIR)/"$$i" $(MANDIR)/"$$i".gz $(MANDIR)/"$$i".bz2; \
|
|
|
|
done
|
|
|
|
|
|
|
|
gz:
|
2008-06-05 09:52:50 +00:00
|
|
|
for i in man?; do $(GZIP) "$$i"/*; done
|
2004-11-03 13:51:07 +00:00
|
|
|
|
|
|
|
bz2:
|
2008-06-05 09:52:50 +00:00
|
|
|
for i in man?; do $(BZIP2) "$$i"/*; done
|
2004-11-03 13:51:07 +00:00
|
|
|
|
|
|
|
# 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?; 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:
|
2008-06-05 09:52:50 +00:00
|
|
|
for i in man?; do \
|
2007-07-12 16:47:37 +00:00
|
|
|
install -d -m 755 $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \
|
|
|
|
install -m 644 "$$i"/* $(DESTDIR)$(MANDIR)/"$$i" || exit $$?; \
|
2004-11-03 13:51:07 +00:00
|
|
|
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
|