devel-docs: move HACKING from root EXTRA_DIR to devel-docs one.

Also adding the CODING_STYLE.md. There is actually the question whether
we still want to track this docs files to package them in the tarballs.
It made sense 20 years ago when devs were working from tarballs, but
nowadays, devs are expected to work from git HEAD.

Anyway this fixes the CI.
This commit is contained in:
Jehan 2022-02-08 18:59:48 +01:00
parent 0db35973c8
commit 8a3ff1a7b6
2 changed files with 2 additions and 1 deletions

View File

@ -69,7 +69,6 @@ EXTRA_DIST = \
ChangeLog.pre-2-4 \
ChangeLog.pre-2-6 \
ChangeLog.pre-git \
HACKING \
INSTALL \
LICENSE \
NEWS \

View File

@ -7,6 +7,8 @@ SUBDIRS = \
performance-logs
EXTRA_DIST = \
CODING_STYLE.md \
HACKING.md \
README.md \
contexts.txt \
debug-plug-ins.txt \