|
|
|---|
(cd $(DESTDIR)$(pkgdatadir)/dtd; rm -f linuxdoc.dtd; ln -s linuxdoc96.dtd linuxdoc.dtd) | (cd $(DESTDIR)$(pkgdatadir)/dtd; rm -f linuxdoc.dtd; ln -s linuxdoc96.dtd linuxdoc.dtd) |
(cd $(DESTDIR)$(pkgdatadir)/dtd; rm -f linuxdoctr.dtd; ln -s linuxdoctr96.dtd linuxdoctr.dtd) | (cd $(DESTDIR)$(pkgdatadir)/dtd; rm -f linuxdoctr.dtd; ln -s linuxdoctr96.dtd linuxdoctr.dtd) |
(cd $(DESTDIR)$(bindir); for i in $(progs); do rm -f $$i; ln -s linuxdoc $$i;done) | (cd $(DESTDIR)$(bindir); for i in $(progs); do rm -f $$i; ln -s linuxdoc $$i;done) |
@echo "Installing documentation in $(DESTDIR)$(LINUXDOCDOC) ..." |
# @echo "Installing documentation in $(DESTDIR)$(LINUXDOCDOC) ..." |
# TODO: fix Makedoc.sh play work without installing files to the system (using DESTDIR) | # TODO: fix Makedoc.sh play work without installing files to the system (using DESTDIR) |
(cd doc; PATH="${PATH}:${DESTDIR}${bindir}" PREFIX=$(prefix) BINDIR=$(bindir) \ |
# (cd doc; PATH="${PATH}:${DESTDIR}${bindir}" PREFIX=$(prefix) BINDIR=$(bindir) \ |
DATADIR=$(DESTDIR)$(datadir) bash Makedoc.sh) |
# DATADIR=$(DESTDIR)$(datadir) bash Makedoc.sh) |
if [ ! -d $(DESTDIR)$(LINUXDOCDOC) ]; then mkdir -p $(DESTDIR)$(LINUXDOCDOC); fi | if [ ! -d $(DESTDIR)$(LINUXDOCDOC) ]; then mkdir -p $(DESTDIR)$(LINUXDOCDOC); fi |
chmod 755 $(DESTDIR)$(LINUXDOCDOC) | chmod 755 $(DESTDIR)$(LINUXDOCDOC) |
cp -r doc/* $(DESTDIR)$(LINUXDOCDOC) | cp -r doc/* $(DESTDIR)$(LINUXDOCDOC) |
