diff options
Diffstat (limited to 'pod/Makefile')
-rw-r--r-- | pod/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pod/Makefile b/pod/Makefile index d96fd7da3e..077ecd19bb 100644 --- a/pod/Makefile +++ b/pod/Makefile @@ -104,3 +104,4 @@ html: $(HTML) clean: rm -f $(MAN) $(HTML) +realclean: clean |