Build and packaging library
Find a file
Jan Lindemann 61a4706c76 scripts: Use get_os.sh for packaging
Use get_os.sh for determining which distribution and version packages
are built for, and upload accordingly.

Signed-off-by: Jan Lindemann <jan@janware.com>
2015-06-01 12:20:25 +00:00
bin bin/Makefile: Standardized 2008-12-13 15:15:27 +00:00
make scripts-targets.mk: Replace /bin/sh by /bin/bash in scripts-targets.mk 2015-06-01 08:06:57 +00:00
scripts scripts: Use get_os.sh for packaging 2015-06-01 12:20:25 +00:00
tmpl/tex de_presentation/header.tex: Not handout mode anymore 2015-05-25 15:17:28 +00:00
CHANGES Release 1.2.10 2014-10-29 17:59:21 +00:00
Makefile rpmdist.mk: Make rpm-[un]install work on Debian 2015-05-28 11:37:00 +00:00
VERSION Release 1.2.10-29 2015-05-31 15:56:35 +00:00