| Title: | there is no human-helpful map of MPS files |
| Status: | open |
| Priority: | nice |
| Assigned user: | Gareth Rees |
| Organization: | Ravenbrook |
| Description: | there is no human-helpful map of MPS files This is a big topic; here's a start, looking at source files: A new user is presented with over 200 cryptically 8.3-named source files. It is hard to: - discern the purpose of each file; - discern the grouping of files; - notice the more important files (in an alphabetical listing they get swamped by big groups such as event*.*) - list files such that ./design/XX is collated near to ./code/XX.c |
| Analysis: | An easy first step is to make and maintain a web-page. For each MPS file it has: - a link to the file; - a pithy description of the file's purpose. These elements are grouped semantically. Just do ./design/* and ./code/* to start with. Done pro-tem in: //info.ravenbrook.com/user/rhsk/mps/mps-file-map.htmlSee also job000543. |
| How found: | unknown |
| Evidence: | observation |
| Observed in: | 1.104.0 |
| Created by: | Richard Kistruck |
| Created on: | 2005‑03‑21 20:25:39 |
| Last modified by: | Gareth Rees |
| Last modified on: | 2013‑03‑19 18:57:16 |
| History: | 2005-03-21 RHSK create 2005-04-04 RHSK add depot-name of my quick-hack map (in user/rhsk/mps) 2013-03-19 GDR Assigned to GDR. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 150720 | open | 2005‑03‑21 20:55:12 | Richard Kistruck | Move and rename mps-file-map.html, and the source files used to generate it. All these are just in user/rhsk/mps for now. |
Generated at 2013-05-21 10:48:55 by $Id: //info.ravenbrook.com/infosys/cgi/issue.cgi#476 $
Copyright © Ravenbrook Limited. This document is provided "as is", without any express or implied warranty. In no event will the authors be held liable for any damages arising from the use of this document. You may not duplicate or reproduce this document in any form without the express permission of the copyright holder.