diff options
Diffstat (limited to 'mk/build.mk.sample')
| -rw-r--r-- | mk/build.mk.sample | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mk/build.mk.sample b/mk/build.mk.sample index 196becbbd8..eed749cbb2 100644 --- a/mk/build.mk.sample +++ b/mk/build.mk.sample @@ -86,5 +86,9 @@ endif # (other sometimes useful configure-options: `--with-gmp-{includes,libraries}`) #libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-intree-gmp +# Enable pretty hyperlinked sources +#HADDOCK_DOCS = YES +#EXTRA_HADDOCK_OPTS += --hyperlinked-source + # Don't strip debug and other unneeded symbols from libraries and executables. STRIP_CMD = : |