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