Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/proposals/concurrency/Makefile

    rb3ffb61 r3364962  
    1313annex/glossary \
    1414text/intro \
     15text/cforall \
    1516text/basics \
    16 text/cforall \
    1717text/concurrency \
    1818text/internals \
    1919text/parallelism \
    20 text/results \
    2120text/together \
    2221text/future \
     
    3029}}
    3130
    32 PICTURES = ${addprefix build/, ${addsuffix .pstex, \
    33         system \
    34         monitor_structs \
    35 }}
     31PICTURES = ${addsuffix .pstex, \
     32}
    3633
    3734PROGRAMS = ${addsuffix .tex, \
     
    7067        build/*.out     \
    7168        build/*.ps      \
    72         build/*.pstex   \
    7369        build/*.pstex_t \
    7470        build/*.tex     \
     
    8480        dvips $< -o $@
    8581
    86 build/${basename ${DOCUMENT}}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex ../../LaTeXmacros/common.tex ../../LaTeXmacros/indexstyle annex/local.bib
     82build/${basename ${DOCUMENT}}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex ../../LaTeXmacros/common.tex ../../LaTeXmacros/indexstyle
    8783
    8884        @ if [ ! -r ${basename $@}.ind ] ; then touch ${basename $@}.ind ; fi                           # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
     
    9591        @ -${BibTeX} ${basename $@}
    9692        @ echo "Glossary"
    97         @ makeglossaries -q -s ${basename $@}.ist ${basename $@}                                                # Make index from *.aux entries and input index at end of document
     93        makeglossaries -q -s ${basename $@}.ist ${basename $@}                                          # Make index from *.aux entries and input index at end of document
    9894        @ echo ".dvi generation"
    9995        @ -build/bump_ver.sh
Note: See TracChangeset for help on using the changeset viewer.