diff options
Diffstat (limited to 'config/Makefile.template')
| -rw-r--r-- | config/Makefile.template | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/config/Makefile.template b/config/Makefile.template index 74ec95807..e29a4befe 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -144,11 +144,6 @@ UIMSCRIPTDIR=UIMSCRIPTPATH # Defining REVISION CHECKEDOUT=CHECKEDOUTSOURCETREE -# Defining options to generate dependencies graphs -DOT=dot -DOTOPTS=-Tps -ODOCDOTOPTS=-dot -dot-reduce - # Option to control compilation and installation of the documentation WITHDOC=WITHDOCOPT |