INFOFILES = RPGMain RPGWidgets
InstalledINFOFILES = ../Info/RPGMain ../Info/RPGWidgets
TeXiFiles = RPGMain.texi RPGWidgets.texi

$(InstalledINFOFILES) : $(INFOFILES)
	cp $(INFOFILES) ../Info

$(INFOFILES) : $(TeXiFiles)
	makeinfo $(@F).texi
