On 2021-03-06, 13:35 -0500, Stefan Monnier <monnier@iro.umontreal.ca> wrote:

>> I tried with this:
>>
>>     ("modus-themes"
>>       :core ("etc/themes/modus-themes.el"
>>              "etc/themes/modus-operandi-theme.el"
>>              "etc/themes/modus-vivendi-theme.el")
>>       :doc "doc/misc/modus-themes.org")
>
> I think you need something like:
>
>      ("modus-themes"
>        :core ("etc/themes/modus-themes.el"
>               "etc/themes/modus-operandi-theme.el"
>               "etc/themes/modus-vivendi-theme.el"
>               "doc/misc/modus-themes.org")
>        :doc "modus-themes.org")
>
> The :core brings the specified files into the directory from which we
> build the package, and then the :doc tells where to find the doc in that
> directory.

Thank you!  I have amended the patch using the format you recommended.

-- 
Protesilaos Stavrou
protesilaos.com