diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..45576f6 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +%.xml: %.txt + asciidoc -f asciidoc.conf -d manpage -b docbook $< + +%.html: %.txt + asciidoc -f asciidoc.conf -d manpage $< + +%.1: %.xml + xmlto man $< + +upload-html: git-bz.html + DEST=`git config local.upload-html-dest` ; \ + if [ $$? = 0 ] ; then : ; else echo "upload location not configured" ; exit 1 ; fi ; \ + scp $< $$DEST + |