diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index ce0e69a25..bd8d35b2a 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -157,7 +157,6 @@ help-variables: $(info $(INFO_)man{1,...}ext .{1,...}) $(info ) $(info $(INFO_)htmldir $$(docdir)) - $(info $(INFO_)htmlext .html) $(info ) $(info $(INFO_)# Command variables (and flags):) $(info ) |