aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Frans de Jonge <fransdejonge@gmail.com> 2020-05-28 23:21:23 +0200
committerGravatar GitHub <noreply@github.com> 2020-05-28 23:21:23 +0200
commitcf135073499856abb009fb9e6f297344745adf41 (patch)
tree45b54644e5181dca0655b15759aedca5dee9f827 /Makefile
parentf05408a2e5ee2a83b6af38fd4cf46876c34328ba (diff)
[i18n] Add a `make pot` command to Makefile (#3006)
By analogy with <https://github.com/FreshRSS/FreshRSS/pull/2996>.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d5bd9ca7d..99046df9a 100644
--- a/Makefile
+++ b/Makefile
@@ -150,6 +150,10 @@ endif
rtl: ## Generate RTL CSS files
rtlcss -d p/themes && find . -type f -name '*.rtl.rtl.css' -delete
+.PHONY: pot
+pot: ## Generate POT templates for docs
+ cd docs && ../cli/translation-update.sh
+
##########
## HELP ##
##########