Duplicated building instructions
Building instructions are provided in two files:
Instructions are more detailed in building.md
file, but instructions for building Orekit through Ant are only provided in the BUILDING.txt
file. Since the README.md
file proposed in merge request !3 (merged) directs users to the building.md
file, the missing instructions should be added to it and the BUILDING.txt
file deleted.