####
#
# Make a specification by running the rsl checker on all .rsl files.
#
#

default:	rolodex-tool.rsl rolodex.rsl file.rsl edit.rsl \
			rolodex-tool-gui.rsl rolodex-gui.rsl file-gui.rsl \
			edit-gui.rsl screen.rsl
		fmsl rolodex-tool.rsl rolodex.rsl file.rsl edit.rsl \
			rolodex-tool-gui.rsl rolodex-gui.rsl file-gui.rsl \
			edit-gui.rsl screen.rsl

dd:		rolodex-tool.rsl rolodex.rsl file.rsl edit.rsl \
			rolodex-tool-gui.rsl rolodex-gui.rsl file-gui.rsl \
			edit-gui.rsl screen.rsl
		rsl2dict rolodex-tool.rsl rolodex.rsl file.rsl edit.rsl
			rolodex-tool-gui.rsl rolodex-gui.rsl file-gui.rsl \
			edit-gui.rsl screen.rsl