SOURCES = norme.texi

TARGETS = \
	$(SOURCES:.texi=.info)	\
	$(SOURCES:.texi=.dvi)	\
	$(SOURCES:.texi=.ps)	\
	$(SOURCES:.texi=.pdf)	\
	$(SOURCES:.texi=.txt)	\
	$(SOURCES:.texi=.html)


DEPS =

all: $(TARGETS)

clean:
	rm -f *.cps *.aux *.cp *.fn *.ky *.log *.pg \
		*.toc *.tmp *.tp *.vr *~

fclean: clean
	rm -f $(TARGETS)
	rm -rf $(SOURCES:.texi=)

nosrc:
	rm -f *.texi genhtlink texinfo.tex

$(TARGETS): $(DEPS)

$(SOURCES): texinfo.tex

.SUFFIXES: .texi .info .dvi .pdf .ps .html .txt

.texi.info:
	makeinfo --enable-encoding $<

.texi.dvi:
	MAKEINFO='makeinfo --enable-encoding' texi2dvi4a2ps -e $<

.texi.pdf:
	MAKEINFO='makeinfo --enable-encoding' texi2pdf -e $<

.dvi.ps:
	dvips -o $@ $<

.texi.html:
	makeinfo -v --enable-encoding --html --no-split $<

.texi.txt:
	makeinfo --no-headers $< -o $@
