diff --git a/Makefile.in b/Makefile.in index 4e19d3e14..09d7a0cab 100755 --- a/Makefile.in +++ b/Makefile.in @@ -28,7 +28,7 @@ INCLUDEDIR=$(ROOTDIR)/include/Yap # INFODIR=$(SHAREDIR)/info # -# where to store documentaion files +# where to store documentation files # DOCSDIR=$(SHAREDIR)/doc/Yap