Thomas B. Ruecker b498d4bd93 Fix for docdir issue with deb/RPM. Fixes #2121 ... Replaced docdir with otherdocdir and made it relative to docdir. This seems to work for debian and plain make install. Will test RPM later.		2014-12-13 19:10:20 +00:00
..
css	Fix for docdir issue with deb/RPM. Fixes #2121	2014-12-13 19:10:20 +00:00
font	Fix for docdir issue with deb/RPM. Fixes #2121	2014-12-13 19:10:20 +00:00
img	Fix for docdir issue with deb/RPM. Fixes #2121	2014-12-13 19:10:20 +00:00
Makefile.am	Makefile.am and configure.in for new docs	2014-11-19 13:41:09 +00:00