diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7392697 --- /dev/null +++ b/Makefile @@ -0,0 +1,21 @@ +# This Makefile is meant to generate a dist tarball in order to avoid installing +# texinfo on the target system. +TARBALL=carbs-docs-`date +%Y-%m-%d` +DESTDIR=./docs + +all: + +dist: + mkdir -p ${TARBALL} + makeinfo -o ${TARBALL}/carbslinux.info top.texi + makeinfo --plaintext top.texi > ${TARBALL}/carbslinux.txt + cp extMakefile ${TARBALL}/Makefile + tar -cf ${TARBALL}.tar ${TARBALL} + gzip -9 ${TARBALL}.tar + rm -rf ${TARBALL}.tar ${TARBALL} + +htmldocs: + rm -rf -- ${DESTDIR} + makeinfo --html -o ${DESTDIR} top.texi + +.PHONY: all dist htmldocs |