Delete .gitignore files before creating archive.

This commit is contained in:
Brian Read 2023-07-10 23:01:38 +02:00
parent 31418d3196
commit 954d688485

View File

@ -354,6 +354,7 @@ $(ARCHIVEFILE):
if [ -d ${CODEDIR} ] ; then cp -R "${CODEDIR}" "${TEMPDIR}/${TREEPATH}" ; fi ; \ if [ -d ${CODEDIR} ] ; then cp -R "${CODEDIR}" "${TEMPDIR}/${TREEPATH}" ; fi ; \
if [ -e createlinks ] ; then cp createlinks "${TEMPDIR}/${TREEPATH}/." ; fi ; \ if [ -e createlinks ] ; then cp createlinks "${TEMPDIR}/${TREEPATH}/." ; fi ; \
if [ -d additional ] ; then cp -r additional/* "${TEMPDIR}/${TREEPATH}/." ; fi ; \ if [ -d additional ] ; then cp -r additional/* "${TEMPDIR}/${TREEPATH}/." ; fi ; \
find "${TEMPDIR}/${TREEPATH}/." -type f -name ".gitignore" -delete ; \
rm -f ${ARCHIVEFILE} ;\ rm -f ${ARCHIVEFILE} ;\
tar -caf "${ARCHIVEFILE}" -C "${TEMPDIR}" "${TREEPATH}" ;\ tar -caf "${ARCHIVEFILE}" -C "${TEMPDIR}" "${TREEPATH}" ;\
ls -l ${ARCHIVEFILE} ;\ ls -l ${ARCHIVEFILE} ;\