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)
MAKEINFO ?= makeinfo
RELEASE=$(shell git describe --always --dirty)
sed s/__RELEASE_GIT_ID__/$(RELEASE)/ $< | sed -f ./infofilter > $@
emacs -batch --no-site-file -l fixinfo $@
texi2pdf --batch $<
$(MAKEINFO) $< -o $@
$(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