db1e9e9ea9
Use -c, not ${COPY}, to install `dir'. ${COPY} should never be used to install source files. The source might be lost if the default is overridden. |
||
---|---|---|
.. | ||
doc | ||
info | ||
info-files | ||
makedoc | ||
makeinfo | ||
misc | ||
texindex | ||
Makefile | ||
Makefile.inc |