From ec796b3eb4bfee788c65006b58fe24a880985fab Mon Sep 17 00:00:00 2001
From: Changcheng Xiao <xchangcheng@google.com>
Date: Tue, 5 Mar 2019 09:42:14 +0100
Subject: [PATCH] Update instructions for IntelliJ copyright setup

Change-Id: I3d3d0aca2496cbad885798519db408e3492909c0
---
 Documentation/dev-intellij.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Documentation/dev-intellij.txt b/Documentation/dev-intellij.txt
index ca4769056f..b87cbf4d3f 100644
--- a/Documentation/dev-intellij.txt
+++ b/Documentation/dev-intellij.txt
@@ -107,7 +107,9 @@ the code style settings, simply confirm that.
 === Copyright
 Copy the folder `$(gerrit_source_code)/tools/intellij/copyright` (not just the
 contents) to `$(project_data_directory)/.idea`. If it already exists, replace
-it.
+it. Then go to *File -> Settings -> Editor -> Copyright -> Copyright Profiles*,
+and import `Gerrit_Copyright.xml` to IntelliJ in case it doesn't pick the
+copyright up automatically.
 
 === File header
 By default, IntelliJ adds a file header containing the name of the author and