A fix to the documentation makefile from John D. Mitchell.master
treeb0bfcbc757ebade44cb076444a51fec491898b62
-rw-r--r-- 18096 COPYING
-rw-r--r-- 1612 CREDITS
-rw-r--r-- 87291 ChangeLog
-rw-r--r-- 1862 Makefile.in
-rw-r--r-- 1323 README
-rw-r--r-- 4360 TODO
drwxr-xr-x - aapl
drwxr-xr-x - common
-rwxr-xr-x 129495 configure
-rw-r--r-- 3155 configure.in
drwxr-xr-x - doc
drwxr-xr-x - examples
-rw-r--r-- 6399 ragel.vim
drwxr-xr-x - ragel
drwxr-xr-x - redfsm
drwxr-xr-x - rlgen-cd
drwxr-xr-x - rlgen-csharp
drwxr-xr-x - rlgen-dot
drwxr-xr-x - rlgen-java
drwxr-xr-x - rlgen-ruby
drwxr-xr-x - test
-rw-r--r-- 36 version.mk