diff options
| -rwxr-xr-x | make-dist | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -154,11 +154,11 @@ echo "Making links to \`src'." | |||
| 154 | 154 | ||
| 155 | echo "Making links to \`src/m'." | 155 | echo "Making links to \`src/m'." |
| 156 | (cd src/m | 156 | (cd src/m |
| 157 | ln README *.h ../../${tempdir}/src/m) | 157 | ln README [a-zA-Z].h ../../${tempdir}/src/m) |
| 158 | 158 | ||
| 159 | echo "Making links to \`src/s'." | 159 | echo "Making links to \`src/s'." |
| 160 | (cd src/s | 160 | (cd src/s |
| 161 | ln README *.h ../../${tempdir}/src/s) | 161 | ln README [a-zA-Z].h ../../${tempdir}/src/s) |
| 162 | 162 | ||
| 163 | echo "Making links to \`lib-src'." | 163 | echo "Making links to \`lib-src'." |
| 164 | (cd lib-src | 164 | (cd lib-src |