Skip to content
Snippets Groups Projects
Makefile 1.25 KiB
Newer Older
#
# Makefile for the documentation directory
#
# Copyright 1994,2000,2010,2011   Alessandro Rubini <rubini@linux.it>
# There is not basenames here, all *.in are considered input
INPUT = $(wildcard *.in)
TEXI = $(INPUT:.in=.texi)
INFO = $(INPUT:.in=.info)
HTML = $(INPUT:.in=.html)
TXT  = $(INPUT:.in=.txt)
PDF  = $(INPUT:.in=.pdf)
ALL    = $(INFO) $(HTML) $(TXT) $(PDF)
RELEASE=$(shell git describe --always --dirty)

	sed s/__RELEASE_GIT_ID__/$(RELEASE)/ $< | sed -f ./infofilter > $@
	emacs -batch --no-site-file -l fixinfo $@
	$(MAKEINFO) --html --no-split -o $@ $<

	$(MAKEINFO) --no-headers $< > $@

##############################################
.PHONY: all check terse clean install wrs_failures
.INTERMEDIATE: $(TEXI)
all: $(ALL) wrs_failures

check: _err.ps
	gs -sDEVICE=linux -r320x200x16 $<

terse:
	for n in cp fn ky pg toc tp vr aux log; do rm -f *.$$n; done
	rm -f *~

clean: terse
	rm -f $(ALL) $(TEXI)
	$(MAKE) -C wrs_failures clean
	if [ -n $(WRS_OUTPUT_DIR) ]; then cp *.pdf  $(WRS_OUTPUT_DIR)/images/; fi

wrs_failures:
	$(MAKE) -C wrs_failures