next up previous contents
Next: 8.3 Compiling Up: 8. Inserting the new Previous: 8.1 Changes in main.ml

8.2 Changes in Makefile



Diego
2000-05-16