summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-01-29 10:22:31 +0000
committeraarne <aarne@cs.chalmers.se>2006-01-29 10:22:31 +0000
commitc04e8739c04687d3d2cd4fab2af55fb214a46a34 (patch)
treeb2fe55845f9464b438bf8886db78f9dc40c17c1c /doc/Makefile
parent0839a2ce18aec46862ce741fe40f50fe5c60945e (diff)
gslt sem
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644
index 771212515..000000000
--- a/doc/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-all:
- txt2tags gslt-sem-2006.txt
- htmls gslt-sem-2006.html
-