change variable NUMBER to TEXFILE, in sync with homepage introduction pr#23

chrbeckm merged 1 commit intomainpep-dortmund/toolbox-workshop-protocol-template:mainfrom

makefile_vVariablepep-dortmund/toolbox-workshop-protocol-template:makefile_vVariableCopy head branch name to clipboard