Make git update the submodule
This commit is contained in:
parent
33f2f8fb94
commit
fe81e252a8
|
@ -17,6 +17,7 @@
|
|||
# import os
|
||||
# import sys
|
||||
# sys.path.insert(0, os.path.abspath('.'))
|
||||
import subprocess
|
||||
|
||||
# -- General configuration ------------------------------------------------
|
||||
|
||||
|
@ -346,3 +347,6 @@ texinfo_documents = [
|
|||
# If true, do not generate a @detailmenu in the "Top" node's menu.
|
||||
#
|
||||
# texinfo_no_detailmenu = False
|
||||
|
||||
subprocess.run(["git", "submodule", "foreach", "git", "pull", "origin", "master"])
|
||||
|
||||
|
|
Loading…
Reference in New Issue