diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index d80ecccc..a0d36a13 100644 --- a/Makefile.in +++ b/Makefile.in @@ -312,6 +312,8 @@ MDEFINES= \ "OTHERDEVDIRS=$(OTHERDEVDIRS)" \ "PSPRINT=$(PSPRINT)" \ "DVIPRINT=$(DVIPRINT)" \ + "version=$(version)" \ + "revision=$(revision)" \ "top_srcdir=$(top_srcdir)" \ "top_builddir=$(top_builddir)" \ "prefix=$(prefix)" \ @@ -606,7 +608,7 @@ uninstall_dirs: -rmdir $(man1dir) $(man5dir) $(man7dir) $(manroot) \ $(tmacdir) $(systemtmacdir) $(localtmacdir) $(fontdir) $(bindir) \ $(datasubdir) $(dataprogramdir) $(datadir) $(infodir) \ - $(docdir) $(exampledir) $(htmldocdir) \ + $(exampledir) $(htmldocdir) $(docdir) \ $(libprogramdir) $(libdir) |