Changeset 522906 in git for doc/Makefile.in


Ignore:
Timestamp:
Mar 3, 2012, 10:21:04 AM (11 years ago)
Author:
Bernhard R. Link <brlink@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
ede7a69d54c25b9d0c8b81afc4a499d622183a15
Parents:
5bcfa8f36743c68cb02d72f74780d253c35537a3
git-author:
Bernhard R. Link <brlink@debian.org>2012-03-03 10:21:04+01:00
git-committer:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-03-13 15:28:57+01:00
Message:
tag more examples

Add a way to tag all examples from a .lib file included.

Use this new feature to tag some libs needed external programs,
special features or significant memory usage in order to be able
to build documentation on more machines.

Make DOC2TEX_EXAMPLE_EXCLUSIONS a make variable, so that this
setting can also be overridden at make invocation time.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/Makefile.in

    r5bcfa8 r522906  
    6767EX_SUBDIR       = ./examples
    6868CHKSUM_DB       = ${DOC_SUBDIR}/chksum
     69DOC2TEX_EXAMPLE_EXCLUSIONS = @DOC2TEX_EXAMPLE_EXCLUSIONS@
    6970DOC2TEX         = ${PERL} ./doc2tex.pl -docdir ${DOC_SUBDIR} \
    7071                  -Singular ${SINGULAR} -verbose ${VERBOSE} -make ${MAKE} \
    71                   -exdir ${EX_SUBDIR} @DOC2TEX_EXAMPLE_EXCLUSIONS@
    72 PL2DOC          = ${PERL} ./pl2doc.pl -db ${CHKSUM_DB}
     72                  -exdir ${EX_SUBDIR} ${DOC2TEX_EXAMPLE_EXCLUSIONS}
     73TAG             =
     74PL2DOC          = ${PERL} ./pl2doc.pl ${TAG} -db ${CHKSUM_DB}
    7375
    7476# t2h stuff
Note: See TracChangeset for help on using the changeset viewer.