From fcc653735faf1ab018273d7821981090f752c838 Mon Sep 17 00:00:00 2001 From: "Charles A. Roelli" Date: Sat, 29 Oct 2016 10:15:59 +0200 Subject: [PATCH] Add Makefile. --- Makefile | 12 ++++++++++++ README.org | 2 +- 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..02fbd33 --- /dev/null +++ b/Makefile @@ -0,0 +1,12 @@ +.PHONY: all clean + +ELCFILES = $(addsuffix .elc, $(basename $(wildcard *.el))) + +all: $(ELCFILES) + +%.elc : %.el + @echo Compiling $< + @emacs -batch -q -no-site-file -f batch-byte-compile $< + +clean: + @rm -f *.elc diff --git a/README.org b/README.org index 218755a..fd77c8d 100644 --- a/README.org +++ b/README.org @@ -42,7 +42,7 @@ - org-board-log-wget-invocation :: whether to log the archival process command in the root of the archival directory (defaults to true). - org-board-domain-regexp-alist :: apply certain options when a domain matches a regular expression. See the docstring for details. As an example, this is used to make sure that =wget= not send a User Agent string when archiving from Google Cache, which will not normally serve pages to it. ** Known limitations - Options like "--header: 'Agent Blabla'" cannot be specified as + Options like "--header: 'Agent X" cannot be specified as properties, because the property API splits on spaces, and such an option has to be passed to the =wget= process as one argument. To work around this, add these types of options to