- remove now unused add-id.py file
- add pagefind-sphinx extension to shared sphinx_support folder
- add pagefind-sphinx extensions to extension list in conf.py
- provide pagefind.yml files to specify the location of the sites
- fix file copies in lrm/Makefile
- update .gitignore to ignore copied files
- Config mostly taken from anod repository
- Make all python files compliant
- Remove some obviously unused python files (still in python2
syntax)
Change-Id: Ie90715f9e6e0a4831613faf0e9472706e210a7af
This solves a typo and add support for syntax highlighting in Whyml.
* docs/develguide/conf.py
Add the setup lines present in docs/ug/conf.py
* docs/develguide/translation_why3.rst
Put whyml code into codeblock of whyml
* docs/sphinx_support/whyml_pygments.py
Naive lexer for whyml.
Change-Id: I2be61e9f98d147198d2d679c30e9cd4295c00bf9
The source file "spark2014vsn.ads" contains dummy info, don't use it.
Instead, we use the Makefile variable VERSION. It also contains dummy info,
but the nightly build will set it to the correct value.
Change-Id: I9048ed47321d7a3ca8443a3207ea29071bf85c31
