#### # # 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