HomeSort by: relevance | last modified time | path
    Searched refs:CONTENTS_OUTPUT_LOCATION (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc/dist/maintainer-scripts/
update_web_docs_git 188 "${MAKEINFO}" --html -c CONTENTS_OUTPUT_LOCATION=inline --css-ref $CSS $includes -o ${file} ${filename}
  /src/external/gpl3/gcc/dist/gcc/
configure 8850 # Determine whether makeinfo supports the CONTENTS_OUTPUT_LOCATION variable.
8856 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for CONTENTS_OUTPUT_LOCATION support in $MAKEINFO" >&5
8857 $as_echo_n "checking for CONTENTS_OUTPUT_LOCATION support in $MAKEINFO... " >&6; }
8862 # Detect the unknown variable CONTENTS_OUTPUT_LOCATION warning
8863 if "$MAKEINFO" -c CONTENTS_OUTPUT_LOCATION=inline </dev/null 2>&1 \
8864 | grep CONTENTS_OUTPUT_LOCATION >/dev/null; then
8874 MAKEINFO_TOC_INLINE_FLAG='-c CONTENTS_OUTPUT_LOCATION=inline'
    [all...]

Completed in 43 milliseconds