From ea83447d37c5e8fa6a30cfbd1d788f0a7c320cd3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 2 Jun 2020 10:43:00 +0200
Subject: [PATCH] [Doc/Userman] fix make dependencies and extraneous word
---
doc/userman/Makefile | 2 +-
doc/userman/user-sources.tex | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 5715ebd8a71..43397136045 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -9,7 +9,7 @@ TARGET = userman
###########
-.PHONY: all install clean
+.PHONY: all install clean $(TARGET).pdf
ifneq ($(VERBOSEMAKE),no)
SILENT =
diff --git a/doc/userman/user-sources.tex b/doc/userman/user-sources.tex
index ee189cbe97c..e4c5b2f4295 100644
--- a/doc/userman/user-sources.tex
+++ b/doc/userman/user-sources.tex
@@ -1,4 +1,4 @@
-ojson\chapter{Preparing the Sources}
+\chapter{Preparing the Sources}
\label{user-sources}
This chapter explains how to specify the source files that form the
--
GitLab