We're having a ... debate ... regarding documentation at work, and I've realized I don't know how to describe the difference between two approaches.
1. If the user selects "OK", the routine will run.
2. If the user selects "OK", the routine runs.
Apparently use of the future tense is eeeeevil, so we're being told not to write in the style of option one. I'm not entirely persuaded that it's purely a future tense, though. Is there a better name for that construction? Subjunctive pluperfect or something? (And no, I don't remember what "pluperfect" even is, so if that was a tautology, feel free to laugh at my expense!)