| -rw-r--r-- | doc/gsl-shell-index/Makefile | 1 | ||||
| -rw-r--r-- | doc/gsl-shell-index/conf.py | 3 | ||||
| -rw-r--r-- | doc/user-manual/Makefile | 1 | ||||
| -rw-r--r-- | doc/user-manual/conf.py | 3 |
diff --git a/doc/gsl-shell-index/Makefile b/doc/gsl-shell-index/Makefile index 9dc8a958..857a21a7 100644 --- a/doc/gsl-shell-index/Makefile +++ b/doc/gsl-shell-index/Makefile @@ -38,6 +38,7 @@ clean: html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + cp $(BUILDDIR)/html/objects.inv ../user-manual/gslshell-index.inv @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." diff --git a/doc/gsl-shell-index/conf.py b/doc/gsl-shell-index/conf.py index 770416c2..0c717a97 100644 --- a/doc/gsl-shell-index/conf.py +++ b/doc/gsl-shell-index/conf.py @@ -217,4 +217,5 @@ man_pages = [ # Example configuration for intersphinx: refer to the Python standard library. -intersphinx_mapping = {'file:///home/franko/sviluppo/gsl-shell/doc/user-manual/_build/html/': None} +intersphinx_mapping = {'gslshell': ('http://www.nongnu.org/gsl-shell', 'manual.inv')} + diff --git a/doc/user-manual/Makefile b/doc/user-manual/Makefile index 9dc8a958..c2a54ca3 100644 --- a/doc/user-manual/Makefile +++ b/doc/user-manual/Makefile @@ -38,6 +38,7 @@ clean: html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + cp $(BUILDDIR)/html/objects.inv ../gsl-shell-index/manual.inv @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." diff --git a/doc/user-manual/conf.py b/doc/user-manual/conf.py index 15af8e09..01538d87 100644 --- a/doc/user-manual/conf.py +++ b/doc/user-manual/conf.py @@ -217,4 +217,5 @@ man_pages = [ # Example configuration for intersphinx: refer to the Python standard library. -intersphinx_mapping = {'http://www.nongnu.org/gsl-shell/': None} +intersphinx_mapping = {'gslshell': ('http://www.nongnu.org/gsl-shell/', 'gslshell-index.inv')} + |