Added support for DESTDIR variable. Patch from Diego 'Flameeyes' Pettenò.
[external/ragel.git] / rlgen-dot /
drwxr-xr-x   ..
-rw-r--r-- 1558 Makefile.in
-rw-r--r-- 8375 gvdotgen.cpp
-rw-r--r-- 1478 gvdotgen.h
-rw-r--r-- 2764 main.cpp
-rw-r--r-- 1169 rlgen-dot.h