request-pull: minor tweaks.

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 353fe7c986b2ff1f5a60b28a1fe714fc01b25a78..4798933a493e56de73dd5ea6b560d2bcc5742843 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -6,6 +6,14 @@ DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_TXT) $(MAN7_TXT))
 DOC_MAN1=$(patsubst %.txt,%.1,$(MAN1_TXT))
 DOC_MAN7=$(patsubst %.txt,%.7,$(MAN7_TXT))
 
+prefix=$(HOME)
+bin=$(prefix)/bin
+mandir=$(prefix)/man
+man1=$(mandir)/man1
+man7=$(mandir)/man7
+
+INSTALL=install
+
 #
 # Please note that there is a minor bug in asciidoc.
 # The version after 6.0.3 _will_ include the patch found here:
@@ -24,6 +32,11 @@ man: man1 man7
 man1: $(DOC_MAN1)
 man7: $(DOC_MAN7)
 
+install:
+       $(INSTALL) -m755 -d $(dest)/$(man1) $(dest)/$(man7)
+       $(INSTALL) $(DOC_MAN1) $(dest)/$(man1)
+       $(INSTALL) $(DOC_MAN7) $(dest)/$(man7)
+
 # 'include' dependencies
 git-diff-%.txt: diff-format.txt diff-options.txt
        touch $@
@@ -32,7 +45,7 @@ clean:
        rm -f *.xml *.html *.1 *.7
 
 %.html : %.txt
-       asciidoc -b css-embedded -d manpage $<
+       asciidoc -b xhtml11 -d manpage $<
 
 %.1 %.7 : %.xml
        xmlto man $<