commit ec796b3eb4bfee788c65006b58fe24a880985fab
author Changcheng Xiao <xchangcheng@google.com> Tue Mar 05 09:42:14 2019 +0100
committer Changcheng Xiao <xchangcheng@google.com> Tue Mar 05 10:11:42 2019 +0100
tree e167e66fdddd97322bef641933c4e283ac15f3db
parent d26237eaa8a256e298428fd5c32fdb1a8bcb522e

Update instructions for IntelliJ copyright setup

Change-Id: I3d3d0aca2496cbad885798519db408e3492909c0

Documentation/dev-intellij.txt

diff --git a/Documentation/dev-intellij.txt b/Documentation/dev-intellij.txt
index ca47690..b87cbf4 100644
--- a/Documentation/dev-intellij.txt
+++ b/Documentation/dev-intellij.txt
@@ -107,7 +107,9 @@
 === 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