Remove add_copyright.

gwsw · May 28, 2021 · eccc59c · eccc59c
1 parent a159af1
commit eccc59c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 45 deletions.
diff --git a/Makefile.aut b/Makefile.aut
@@ -129,9 +129,6 @@ dist: ${DISTFILES}
  rm -rf release/$$REL; mkdir release/$$REL; \
  echo "Preparing $$REL"; \
  rm -rf $$REL; mkdir $$REL; \
- for file in ${DISTFILES}; do \
- ./add_copyright $$file $$REL; \
- done; \
  cd $$REL; chmod -w *; chmod +w ${DISTFILES_W}; chmod +x configure; cd ..; \
  echo "Creating release/$$REL/$$REL.tar.gz"; \
  tar -cf - $$REL | gzip -c >release/$$REL/$$REL.tar.gz; \

diff --git a/add_copyright b/add_copyright