diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c366fdd --- /dev/null +++ b/Makefile @@ -0,0 +1,29 @@ +EMACS = emacs + +all: docs style + emacs --batch --script ./org-publish.el + +docs: update-submodules + mkdir -p docs/docs + makeinfo --html --css-ref=https://www.gnu.org/software/gnulib/manual.css -o docs/docs/carbslinux texidocs/carbslinux.texi + makeinfo --html --css-ref=https://www.gnu.org/software/gnulib/manual.css --no-split -o docs/docs/carbslinux.html texidocs/carbslinux.texi + cp texidocs/carbslinux.txt docs/docs/carbslinux.txt + +style: update-submodules + mkdir -p docs + cp style/carbslinux.css docs/style.css + +update-submodules: + git submodule update --remote --init --recursive -f + +publish: + ${EMACS} --batch --script ./org-publish.el + +rebuild: + rm -rf .cache/var/timestamps + ${MAKE} all + +clean: + rm -rf ./docs ./.cache/var/timestamps + +.PHONY: all docs style update-submodules publish rebuild clean |