File: .readthedocs.yaml

package info (click to toggle)
cppad 2025.00.00.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 11,552 kB
  • sloc: cpp: 112,594; sh: 5,972; ansic: 179; python: 71; sed: 12; makefile: 10
file content (34 lines) | stat: -rw-r--r-- 1,033 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
version: 2

build:
   os: "ubuntu-20.04"
   tools:
      python: "3.10"
   commands:
      #
      # xrst
      - pip install xrst
      #
      # This is only necessary if you need the most recent testing version
      - pip uninstall -y xrst
      - pip install --index-url https://test.pypi.org/simple/ xrst
      #
      # This command prints the version of xrst that is being used
      - xrst --version
      #
      # build/html
      # The xsrst html_directory for this configuration is build/html.
      # Build the default (user_guide) and app (appendix) groups.
      # Suppress spell warnings because readthdocs uses a different dictionry.
      - xrst
         --page_source
         --html_theme furo
         --group_list default app
         --index_page_name user_guide
         --suppress_spell_warnings
      #
      # _readthedocs/html
      # The directory that Read the Docs uploads when commands is used.
      - mkdir _readthedocs
      - rm -r build/html/.doctrees
      - cp -r build/html _readthedocs/html