From d737a80ae937c905b1d3d3df060b7e418f10058f Mon Sep 17 00:00:00 2001
From: Yuanle Song <sylecn@gmail.com>
Date: Sun, 9 May 2021 17:05:19 +0800
Subject: [PATCH] update doc

---
 operational | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/operational b/operational
index b793e7f..78ac340 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.
 
-- 
GitLab