Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGonzalo Paniagua Javier <gonzalo.mono@gmail.com>2003-11-12 20:21:51 +0300
committerGonzalo Paniagua Javier <gonzalo.mono@gmail.com>2003-11-12 20:21:51 +0300
commit896dfe4d89fc09aa9b9626f65d1d74041609caa0 (patch)
tree4e8864d78dee1d8fb60479110d8098ab53fba20b /web/Makefile.am
parent222be569c043a1bcf0f3c879ddc1d03f5ffeeb42 (diff)
added print-stack to DIST
svn path=/trunk/mono/; revision=19897
Diffstat (limited to 'web/Makefile.am')
-rw-r--r--web/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/web/Makefile.am b/web/Makefile.am
index cc45aa4aac2..1d33d796f43 100644
--- a/web/Makefile.am
+++ b/web/Makefile.am
@@ -8,7 +8,7 @@ WEB_FILES= \
tds-providers status testing thanks tools \
porting anoncvs monodoc-xml winforms
-OTHERS= pending resources-pending todo mono-build.sh mono-build-w32.sh
+OTHERS= pending resources-pending todo mono-build.sh mono-build-w32.sh print-stack
EXTRA_DIST = $(WEB_FILES) README $(OTHERS)