diff options
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -438,12 +438,12 @@ echo "Making links to \`nextstep/GNUstep/Emacs.base/Resources'" | |||
| 438 | 438 | ||
| 439 | echo "Making links to \`oldXMenu'" | 439 | echo "Making links to \`oldXMenu'" |
| 440 | (cd oldXMenu | 440 | (cd oldXMenu |
| 441 | ln *.[ch] *.in ../${tempdir}/oldXMenu | 441 | ln *.[ch] *.in *.mk ../${tempdir}/oldXMenu |
| 442 | ln README ChangeLog ../${tempdir}/oldXMenu) | 442 | ln README ChangeLog ../${tempdir}/oldXMenu) |
| 443 | 443 | ||
| 444 | echo "Making links to \`lwlib'" | 444 | echo "Making links to \`lwlib'" |
| 445 | (cd lwlib | 445 | (cd lwlib |
| 446 | ln *.[ch] *.in ../${tempdir}/lwlib | 446 | ln *.[ch] *.in *.mk ../${tempdir}/lwlib |
| 447 | ln README ChangeLog ../${tempdir}/lwlib) | 447 | ln README ChangeLog ../${tempdir}/lwlib) |
| 448 | 448 | ||
| 449 | ## It is important to distribute admin/ because it contains sources | 449 | ## It is important to distribute admin/ because it contains sources |