diff --git a/Documentation/Makefile b/Documentation/Makefile new file mode 100644 index 0000000000..b23991d52b --- /dev/null +++ b/Documentation/Makefile @@ -0,0 +1,24 @@ +DOC_SRC=$(wildcard git*.txt) +DOC_HTML=$(patsubst %.txt,%.html,$(DOC_SRC)) +DOC_MAN=$(patsubst %.txt,%.1,$(DOC_SRC)) + +all: $(DOC_HTML) $(DOC_MAN) + +html: $(DOC_HTML) + +man: $(DOC_MAN) + +git-%: %.c $(LIB_FILE) + $(CC) $(CFLAGS) -o $@ $(filter %.c,$^) $(LIBS) + +clean: + rm -f *.xml *.html *.1 + +%.html : %.txt + asciidoc -b css-embedded -d manpage $< + +%.1 : %.xml + xmlto man $< + +%.xml : %.txt + asciidoc -b docbook -d manpage $<