|
|
1.1 root 1: 'b.sh' is the source for the shell command file 'b',
2: the entry point for the user into the B system.
3: It will be installed in ../../bin, or in the
4: public place defined in the root Makefile.
5:
6: All other files are auxiliary files for 'b', and will
7: be installed in ../../lib, or in the library
8: destination defined in the root Makefile.
9:
10: The b.sh and b_p.sh shell scripts are modified by make;
11: because some tar's leave the owner of the tape as the owner
12: of the extracted files we make sure that ../../Setup creates
13: writable versions from the *.gen files.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.