diff --git a/documentation/db2html-winehq b/documentation/db2html-winehq
index bb9683eebdf..fb9d32ce353 100755
--- a/documentation/db2html-winehq
+++ b/documentation/db2html-winehq
@@ -12,12 +12,12 @@
 ## $LINUXDIST holds the name of the distribution
 ## $JADETAG adds "/#html" to the stylesheet-specification in the Jade
 ##          command line (see comments below), if necessary for that dist.
-if [ -a /etc/debian_version ]; then
+if [ -e /etc/debian_version ]; then
   LINUXDIST="Debian"
   JADETAG=\#html
 fi
 
-if [ -a /etc/redhat_release ]; then
+if [ -e /etc/redhat_release ]; then
   LINUXDIST="Redhat"
   JADETAG=
 fi