diff options
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index b03b261..ea39de4 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -45,6 +45,6 @@ release-netfort: pbuilder-doc.html pbuilder-doc.xml pbuilder-doc.css pbuilder-do clean: -rm pbuilder-doc.pdf pbuilder-doc.glo pbuilder-doc.idx pbuilder-doc.log pbuilder-doc.out \ - pbuilder-doc.aux + pbuilder-doc.aux pbuilder-doc.html.tmp .PHONY: preview release-netfort release clean |