summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-01-27 14:52:20 +0000
committeraarne <aarne@cs.chalmers.se>2006-01-27 14:52:20 +0000
commit0839a2ce18aec46862ce741fe40f50fe5c60945e (patch)
tree672ee074a2baf4f619c2b2e4d4d0911def093946 /doc/Makefile
parent443f86ba4d5f156472d704ffc83c5cd92a4bd835 (diff)
gslt talk
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 000000000..771212515
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,4 @@
+all:
+ txt2tags gslt-sem-2006.txt
+ htmls gslt-sem-2006.html
+