X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=bbe97930e263a140e0e4651a5e9fec91426d9249;hb=75d8c899e46059ae2d10f4fbef9e2ce0584aaf57;hp=31141e854436b530f5e6586904a23e0c33c856b4;hpb=3d272bb64adfda361a9bda8daae757c26b758f55;p=pspp diff --git a/doc/automake.mk b/doc/automake.mk index 31141e8544..bbe97930e2 100644 --- a/doc/automake.mk +++ b/doc/automake.mk @@ -308,7 +308,7 @@ install-info-local: uninstall-local: for p in $(INFO_SCREENSHOTS); do \ f=`basename $$p ` ; \ - $(RM) $(DESTDIR)$(prefix)/share/info/$$f ; \ + $(RM) $(DESTDIR)$(prefix)/share/info/screenshots/$$f ; \ done EXTRA_DIST+= $(SCREENSHOTS) doc/doc-make.in doc/screengrab