Add an effective version variable for the manual