mentboot/pc: PBS now calculates rootdir offset itself6964eae15 years agoHistory
3 lines · 73 B · MakefileRawDownload
 check:	../../python.exe ../../Tools/scripts/texcheck.py whatsnew25.tex