SHELL = command.com

all: jptui.inf

view: all
	info -d . -f jptui.inf

install: all
	cp jptui.i* $(DJDIR)/info
	$(DJDIR)/bin/install- jptui.inf $(DJDIR)/info/dir

dist: all
	mkdir -p src2info
	cp -pu readme.txt makefile src2info.bat src2texi.awk inclsrc.awk joinmenu.awk src2info
	zip -u src2info src2info

clean:
	-rm jptui.txi jptui.tmp jptuisrc.all



jptui.src:
	@echo Please copy all the .src files into the current directory.

jptuisrc.all: jptui.src *.src inclsrc.awk
	@echo    Merging all the include files, starting from jptui.src.
	gawk -f inclsrc.awk jptui.src >$@

jptui.tmp: jptuisrc.all src2texi.awk
	@echo    Translating the merged src files to Texinfo file $@.
	gawk -f src2texi.awk jptuisrc.all >$@

jptui.txi: jptui.tmp joinmenu.awk
	@echo    Joining menus.
	gawk -f joinmenu.awk jptui.tmp >$@

jptui.inf: jptui.txi
	@echo    Making the Info files (jptui.inf, jptui.i1...).
	@echo set LFN=n >_src2inf.bat
	@echo makeinfo --fill-column 77 --verbose $^ >>_src2inf.bat
	_src2inf.bat
	-rm _src2inf.bat
