diff options
| l--------- | ChangeLog.md | 1 | ||||
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | docs/Changelog.md (renamed from docs/ChangeLog.md) | 0 |
3 files changed, 1 insertions, 2 deletions
diff --git a/ChangeLog.md b/ChangeLog.md deleted file mode 120000 index 84ffa672..00000000 --- a/ChangeLog.md +++ /dev/null @@ -1 +0,0 @@ -docs/ChangeLog.md \ No newline at end of file diff --git a/Makefile b/Makefile index 70eac6b9..e1307fb1 100644 --- a/Makefile +++ b/Makefile @@ -423,7 +423,7 @@ endif install -m 755 afl-as $${DESTDIR}$(HELPER_PATH) ln -sf afl-as $${DESTDIR}$(HELPER_PATH)/as - install -m 644 docs/*.md docs/ChangeLog $${DESTDIR}$(DOC_PATH) + install -m 644 docs/*.md $${DESTDIR}$(DOC_PATH) cp -r testcases/ $${DESTDIR}$(MISC_PATH) cp -r dictionaries/ $${DESTDIR}$(MISC_PATH) diff --git a/docs/ChangeLog.md b/docs/Changelog.md index ad0b9e88..ad0b9e88 100644 --- a/docs/ChangeLog.md +++ b/docs/Changelog.md |