diff options
Diffstat (limited to 'Makefile.top')
-rw-r--r-- | Makefile.top | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.top b/Makefile.top index d41fdd9ce7d7..44e191cf8173 100644 --- a/Makefile.top +++ b/Makefile.top @@ -206,6 +206,7 @@ vigra\ wizards\ writerfilter\ writerperfect\ +x11_extensions\ xmerge\ xmlhelp\ xmloff\ |