mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-09-23 08:39:07 +00:00
f63221aba4
This target will update the gmo files if and only if the associated
po-file is modified. To determine whether a file is modified, 'git
status --porcelain' is used.
This follows up on commit 06782542.
8 lines
147 B
Python
8 lines
147 B
Python
#! /usr/bin/env python
|
|
|
|
###############
|
|
import sys, os, shutil
|
|
|
|
if os.stat(sys.argv[1]).st_size > 0:
|
|
shutil.copyfile(sys.argv[2], sys.argv[3])
|