[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Org as the source format to generate org.texi
From: |
Achim Gratz |
Subject: |
Re: Using Org as the source format to generate org.texi |
Date: |
Fri, 09 Mar 2018 18:52:14 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Achim Gratz writes:
> Let me dig out the incantation later today (unles Nicolas beats me to it
> of course).
Sorry, I got distracted by a clogged drain pipe. Here's the Makefile
I've been using:
TEXI2PDF+=--tidy
BEXP=$(BATCH) \
--eval '(add-to-list '"'"'load-path "../lisp")'
EXTEXI=
EXHTML= $(BTEST_POST)
ORG2TEXI=-f org-texinfo-export-to-texinfo
ORG2HTML=-f org-html-export-to-html
ORG2INFO=--eval "(org-texinfo-compile \"./$<\")"
.SUFFIXES: # we don't need default suffix rules
ifeq ($(MAKELEVEL), 0)
$(error This make needs to be started as a sub-make from the toplevel
directory.)
endif
.PHONY: all info html pdf
all: $(ORG_MAKE_DOC)
info: org.info
html: orgmanual org.html
pdf: org.pdf
org.texi: orgmanual.org
$(BEXP) $(EXTEXI) $< $(ORG2TEXI)
org.info: org.texi
$(MAKEINFO) --no-split $< -o $@
# LANG=C # to work around a bug in texi2dvi
org.pdf: LC_ALL=C
org.pdf: LANG=C
org.pdf: org.texi
$(TEXI2PDF) $<
orgmanual: org.texi
$(TEXI2HTML) $< -o $@
org.html: orgmanual.org
$(BEXP) $(EXHTML) $< $(ORG2HTML)
clean:
$(RM) org *.pdf *.html *.texi *.info *~ \
*.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.kys *.pg *.pgs \
*.toc *.tp *.tps *.vr *.vrs *.log *.html *.ps
cleanall: clean
$(RMR) org.t2d orgmanual
Regards,
Achim.
--
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+
SD adaptations for Waldorf Q V3.00R3 and Q+ V3.54R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada
- Re: Using Org as the source format to generate org.texi, (continued)
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/12
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Eli Zaretskii, 2018/03/13
- Re: Using Org as the source format to generate org.texi, Nicolas Goaziou, 2018/03/13
Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/06
Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/07
Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/09
Re: Using Org as the source format to generate org.texi, Glenn Morris, 2018/03/12
Re: Using Org as the source format to generate org.texi, Achim Gratz, 2018/03/09
Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/10
Re: Using Org as the source format to generate org.texi, Paul Eggert, 2018/03/10
Re: Using Org as the source format to generate org.texi, Stefan Monnier, 2018/03/10
Re: Using Org as the source format to generate org.texi, Phillip Lord, 2018/03/11