[doc] Restructure the documentation * Create a new index file * Move the sphinx configuration files do the documentation root * Move book/README to dev/documenting.rst * Move book/mode_plan.py to tools/ * Move book/en/images to images * Move book/en/* to book/ * Move changelogs to changes/* * Adapt the Makefile * Add a title to the javascript api index Related to #4832808

     1

#! /bin/sh -e

     2

     3

case "$1" in

     4

    remove)

     5

	if [ -x "/etc/init.d/cubicweb-ctl" ]; then

     6

	    invoke-rc.d cubicweb-ctl stop || true

     7

	fi

     8

    ;;

     9

esac

    10

    11

#DEBHELPER#

    12

    13

exit 0