Permalink
Browse files

Fix a couple of warnings when building the Sphinx version of the manuals

  • Loading branch information...
pmoura committed Oct 11, 2018
1 parent 6a327f5 commit 0f48acf5ef99449a2d8aca7630e174f15133eb27
Showing with 1 addition and 1 deletion.
  1. 0 manuals/sources/_static/.gitkeep
  2. +1 −1 manuals/sources/userman/migration.rst
No changes.
@@ -280,7 +280,7 @@ directives. For better portability avoid this usage. For example, write:
instead of:
::
.. code-block:: text
:- dynamic foo/1, bar/2.

0 comments on commit 0f48acf

Please sign in to comment.