add scard libs

2009-08-11 11:47:10 +02:00
parent 07086b2a3c
commit b47af2c376
139 changed files with 31430 additions and 0 deletions
--- a/tools/efsl-0.3.6/docs/Makefile
+++ b/tools/efsl-0.3.6/docs/Makefile
@@ -0,0 +1,13 @@
+all: manual.tex
+	latex manual.tex
+	latex manual.tex # Needs to be done a second time to make sure that the contents table is correct
+	dvips -o manual.ps manual.dvi
+	dvipdfm manual.dvi
+
+clean:
+	rm -f manual.aux 
+	rm -f manual.dvi 
+	rm -f manual.log 
+	rm -f manual.pdf 
+	rm -f manual.ps 
+	rm -f manual.toc