Makefile
branchdebian
changeset 195 8835c2786eca
parent 194 b1ddf7ced7e7
child 202 8f15d7d90f08
equal deleted inserted replaced
193:f28f33a8efd4 195:8835c2786eca
    23 	$(INSTALL) -d $(ETCDIR)/keys/root
    23 	$(INSTALL) -d $(ETCDIR)/keys/root
    24 	$(INSTALL) -d $(ETCDIR)/keys/users
    24 	$(INSTALL) -d $(ETCDIR)/keys/users
    25 
    25 
    26 installdoc: build/html/index.html
    26 installdoc: build/html/index.html
    27 	$(INSTALL) -d $(DOCDIR)
    27 	$(INSTALL) -d $(DOCDIR)
    28 	$(INSTALL) -m 644 -t $(DOCDIR) README build/html/index.html
    28 	$(INSTALL) -m 644 -t $(DOCDIR) README 
       
    29 	$(INSTALL) -d $(DOCDIR)/html
       
    30 	$(INSTALL) -m 644 -t $(DOCDIR)/html build/html/index.html
    29 
    31 
    30 build/html/index.html: doc/manual.docbook
    32 build/html/index.html: doc/manual.docbook
    31 	xsltproc -o $@ /usr/share/xml/docbook/stylesheet/nwalsh/html/docbook.xsl $^
    33 	xsltproc -o $@ /usr/share/xml/docbook/stylesheet/nwalsh/html/docbook.xsl $^
    32 
    34 
    33 build/pdf/manual.pdf: doc/manual.docbook
    35 build/pdf/manual.pdf: doc/manual.docbook