Small tweak to the make release script.

This commit is contained in:
Relintai 2024-09-14 20:47:53 +02:00
parent f97894c4cd
commit c94d218250

View File

@ -10,6 +10,8 @@
# 4. Run tools/doc/inline_docs.py using python: # 4. Run tools/doc/inline_docs.py using python:
# cd tools/doc/ # cd tools/doc/
# python inline_docs.py # python inline_docs.py
# 5. Run this script: ./make_release.sh <version number>
# ./make_release.sh 5
rm -Rf out rm -Rf out