summaryrefslogtreecommitdiff
path: root/linux-basics/what-is-linux/Makefile
diff options
context:
space:
mode:
authorHans J. Koch <hjk@linutronix.de>2009-06-16 00:58:36 +0200
committerHans J. Koch <hjk@linutronix.de>2009-06-16 00:58:36 +0200
commita83d997b0f4d5ac88af1148f9bc8a2cac304edb8 (patch)
tree64c78b12a36a48843a9a9ce6068edee48768d12f /linux-basics/what-is-linux/Makefile
parenteb6b5ba719f844e57ff768f6795ec30bbd51c52f (diff)
Added Makefile in linux-basics/what-is-linux, updated linux-basics/what-is-linux/hints_what-is-linux_de.tex
Diffstat (limited to 'linux-basics/what-is-linux/Makefile')
-rw-r--r--linux-basics/what-is-linux/Makefile9
1 files changed, 9 insertions, 0 deletions
diff --git a/linux-basics/what-is-linux/Makefile b/linux-basics/what-is-linux/Makefile
new file mode 100644
index 0000000..84f91b4
--- /dev/null
+++ b/linux-basics/what-is-linux/Makefile
@@ -0,0 +1,9 @@
+all:
+ pdflatex pres_what-is-linux_de.tex
+ pdflatex hints_what-is-linux_de.tex
+ pdflatex handout_what-is-linux_de.tex
+ pdflatex handout_what-is-linux_de.tex
+
+clean:
+ rm -f *.aux *.log *.pdf *.log *.snm *.toc *.vrb *.nav *.out
+