pulse: Fix makefile for Documentation