diff --git a/operational b/operational
index b793e7f7ef506b443326ddc91b92ac5489185316..78ac340ac39bbcc1d36105c49a22c3a7ff57fc66 100644
--- a/operational
+++ b/operational
@@ -1,6 +1,6 @@
 * COMMENT -*- mode: org -*-
 #+Date: 2019-03-02
-Time-stamp: <2020-12-23>
+Time-stamp: <2021-05-09>
 #+STARTUP: content
 * notes                                                               :entry:
 ** 2020-05-08 how to distribute pkg on pypi?				:doc:
@@ -9,6 +9,9 @@ Time-stamp: <2020-12-23>
 - make git commit, push it.
 - make upload
 
+  if proxy is needed (e.g. inside GFW),
+  env HTTP_PROXY=http://localhost:8123 HTTPS_PROXY=http://localhost:8123 make upload
+
 ** 2020-12-23 config file path and format                               :doc:
 see README.rst file Documentation section.